diff options
| -rw-r--r-- | i386/intel/pmap.c | 5 | ||||
| -rw-r--r-- | i386/intel/pmap.h | 14 |
2 files changed, 14 insertions, 5 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 038f3a8..b89524e 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -421,11 +421,6 @@ extern char end; */ pt_entry_t *kernel_page_dir; -void pmap_remove_range(); /* forward */ -#if NCPUS > 1 -void signal_cpus(); /* forward */ -#endif /* NCPUS > 1 */ - static inline pt_entry_t * pmap_pde(pmap_t pmap, vm_offset_t addr) { diff --git a/i386/intel/pmap.h b/i386/intel/pmap.h index 087e0ef..20c6243 100644 --- a/i386/intel/pmap.h +++ b/i386/intel/pmap.h @@ -451,6 +451,20 @@ extern void pmap_copy_page (vm_offset_t, vm_offset_t); */ extern vm_offset_t kvtophys (vm_offset_t); +void pmap_remove_range( + pmap_t pmap, + vm_offset_t va, + pt_entry_t *spte, + pt_entry_t *epte); + +#if NCPUS > 1 +void signal_cpus( + cpu_set use_list, + pmap_t pmap, + vm_offset_t start, + vm_offset_t end); +#endif /* NCPUS > 1 */ + #endif /* __ASSEMBLER__ */ #endif /* _PMAP_MACHINE_ */ |