#include <oskit/x86/base_paging.h>pd_entry_t *ptab_find_pte(oskit_addr_t ptab_pa, oskit_addr_t la);
This macro uses the appropriate bits in la (bits 12-21) to look up a particular entry in the specified page table. This macro is just like pdir_find_pde, except that it selects an entry based on the page table index bits in the linear address rather than the page directory index bits (bits 22-31). Note that this function takes the physical address of a page table, but returns a kernel virtual address (an ordinary pointer).
- ptab_pa
- Physical address of the page table.
- la
- Linear address to be used to select a page table entry.
Returns a pointer to the selected page table entry.
- phystokv
- 10.6.2