diff options
Diffstat (limited to 'i386/intel/pmap.h')
| -rw-r--r-- | i386/intel/pmap.h | 6 |
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; \ } |