diff options
| -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; \ } |