[PATCH 07/10] Mark macro arguments as used

[Guillem Jover]

        * 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.
---
 i386/intel/pmap.c |    7 ++++++-
 i386/intel/pmap.h |    6 ++++++
 2 files changed, 12 insertions(+), 1 deletions(-)

diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index c633fd9..df94936 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -336,7 +336,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
 
 
diff --git a/i386/intel/pmap.h b/i386/intel/pmap.h
index 7354a0f..537ed9f 100644
--- a/i386/intel/pmap.h
+++ b/i386/intel/pmap.h
@@ -358,15 +358,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) {                                     \
@@ -375,6 +379,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;                                 \
 }
-- 
1.6.5.4