summaryrefslogtreecommitdiff
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
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.
-rw-r--r--i386/intel/pmap.c7
-rw-r--r--i386/intel/pmap.h6
2 files changed, 12 insertions, 1 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index ee19c4b..45b956c 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -354,7 +354,12 @@ lock_data_t pmap_system_lock;
flush_tlb(); \
}
#else
-#define INVALIDATE_TLB(pmap, s, e) flush_tlb()
+#define INVALIDATE_TLB(pmap, s, e) { \
+ (void) (pmap); \
+ (void) (s); \
+ (void) (e); \
+ flush_tlb(); \
+}
#endif
#endif /* MACH_HYP */
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; \
}