summaryrefslogtreecommitdiff
path: root/i386/intel/pmap.h
diff options
context:
space:
mode:
authorGuillem Jover <guillem@hadrons.org>2009-12-17 14:39:27 +0100
committerGuillem Jover <guillem@hadrons.org>2009-12-18 11:56:45 +0100
commit296a9380f5dde4514890d1409bd140db91f60adb (patch)
tree4516fa4f56f847bfea18643403ce323cabbdf1ca /i386/intel/pmap.h
parent11a8f8032a7ea0a926711894815650c05c660de1 (diff)
Mark macro arguments as used
* i386/intel/pmap.c [!NCPUS > 1] (INVALIDATE_TLB): Mark `pmap', `s' and `e' arguments as used. * i386/intel/pmap.h [!NCPUS > 1] (PMAP_ACTIVATE_KERNEL): Mark `my_cpu' argument as used. (PMAP_DEACTIVATE_KERNEL): Likewise. (PMAP_ACTIVATE_USER): Likewise. Mark `th' argument as used. (PMAP_DEACTIVATE_USER): Mark `thread' and `cpu' arguments as used.
Diffstat (limited to 'i386/intel/pmap.h')
-rw-r--r--i386/intel/pmap.h6
1 files changed, 6 insertions, 0 deletions
diff --git a/i386/intel/pmap.h b/i386/intel/pmap.h
index a2b6442..6046ded 100644
--- a/i386/intel/pmap.h
+++ b/i386/intel/pmap.h
@@ -375,15 +375,19 @@ pt_entry_t *pmap_pte(pmap_t pmap, vm_offset_t addr);
*/
#define PMAP_ACTIVATE_KERNEL(my_cpu) { \
+ (void) (my_cpu); \
kernel_pmap->cpus_using = TRUE; \
}
#define PMAP_DEACTIVATE_KERNEL(my_cpu) { \
+ (void) (my_cpu); \
kernel_pmap->cpus_using = FALSE; \
}
#define PMAP_ACTIVATE_USER(pmap, th, my_cpu) { \
register pmap_t tpmap = (pmap); \
+ (void) (th); \
+ (void) (my_cpu); \
\
set_pmap(tpmap); \
if (tpmap != kernel_pmap) { \
@@ -392,6 +396,8 @@ pt_entry_t *pmap_pte(pmap_t pmap, vm_offset_t addr);
}
#define PMAP_DEACTIVATE_USER(pmap, thread, cpu) { \
+ (void) (thread); \
+ (void) (cpu); \
if ((pmap) != kernel_pmap) \
(pmap)->cpus_using = FALSE; \
}