diff options
author | Damien Zammit <damien@zamaudio.com> | 2023-02-03 10:01:49 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-02-03 20:07:10 +0100 |
commit | e09a4974ddc43ec10f0a940c08cc79e4778dfc49 (patch) | |
tree | 3aa1fdfcd014491adea993b4bc845fc3435a679f /i386/intel/pmap.h | |
parent | ebb783b68d13012e7e44fb47055f2ab2dee7f186 (diff) | |
download | gnumach-e09a4974ddc43ec10f0a940c08cc79e4778dfc49.tar.gz gnumach-e09a4974ddc43ec10f0a940c08cc79e4778dfc49.tar.bz2 gnumach-e09a4974ddc43ec10f0a940c08cc79e4778dfc49.zip |
pmap: Refactor temporary mapping functions
Message-Id: <20230203100133.835589-1-damien@zamaudio.com>
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 d6bf85fb..92247faa 100644 --- a/i386/intel/pmap.h +++ b/i386/intel/pmap.h @@ -475,6 +475,8 @@ pt_entry_t *pmap_pte(const pmap_t pmap, vm_offset_t addr); #define pmap_attribute(pmap,addr,size,attr,value) \ (KERN_INVALID_ADDRESS) +extern pt_entry_t *kernel_page_dir; + /* * Bootstrap the system enough to run with virtual memory. * Allocate the kernel page directory and page tables, @@ -483,6 +485,10 @@ pt_entry_t *pmap_pte(const pmap_t pmap, vm_offset_t addr); */ extern void pmap_bootstrap(void); +extern void pmap_set_page_dir(void); +extern void pmap_make_temporary_mapping(void); +extern void pmap_remove_temporary_mapping(void); + extern void pmap_unmap_page_zero (void); /* |