#include <oskit/x86/base_paging.h>void ptab_free(oskit_addr_t ptab_pa);
The page mapping and unmapping functions described in the following sections call this routine to free a page table that is no longer needed; thus, this function is the partner of ptab_alloc (see Section 10.9.7). The default implementation again assumes that the malloc_lmm memory pool is being used to manage physical memory. If the client OS overrides ptab_alloc to use a different allocation mechanism, it should also override ptab_free correspondingly.
- ptab_pa
- The physical address of the page table page to free.
- lmm_free_page
- 15.6.10