diff options
| author | Guillem Jover <guillem@hadrons.org> | 2009-12-17 14:39:27 +0100 |
|---|---|---|
| committer | Guillem Jover <guillem@hadrons.org> | 2009-12-18 11:56:45 +0100 |
| commit | 296a9380f5dde4514890d1409bd140db91f60adb (patch) | |
| tree | 4516fa4f56f847bfea18643403ce323cabbdf1ca /i386/intel | |
| parent | 11a8f8032a7ea0a926711894815650c05c660de1 (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')
| -rw-r--r-- | i386/intel/pmap.c | 7 | ||||
| -rw-r--r-- | 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 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; \ } |