#include <oskit/x86/base_paging.h>void pdir_unmap_range(oskit_addr_t pdir_pa, oskit_addr_t la, oskit_size_t size);
This function removes a mapping range previously created using pdir_map_range. The la and size parameters must be exactly the same as those passed to the pdir_map_range used to create the mapping.
- pdir_pa
- Physical address of the page directory acting as the root of the linear address space containing the mapping to destroy.
- la
- Starting linear address of the mapping to destroy. Must be exactly the same as the address specified to the pdir_map_range call used to create this mapping.
- size
- Size of the mapping to destroy. Must be exactly the same as the size specified to the pdir_map_range call used to create this mapping.
- pdir_find_pde
- 10.9.3
- ptab_find_pte
- 10.9.4