Searched defs:pdp_table (Results 1 – 2 of 2) sorted by relevance
55 map_addr_t *pdp_table; in get_pdp_entry_from_pdp_table() local275 map_addr_t *pdp_table = (map_addr_t *)(pdpt & X86_PG_FRAME); in update_pdp_entry() local
417 uint64_t *pdp_table = (uint64_t *)(pml4e & X86_PG_FRAME); in update_pdp_entry() local