Searched defs:pt_table (Results 1 – 2 of 2) sorted by relevance
93 map_addr_t *pt_table; in get_pt_entry_from_page_table() local286 map_addr_t *pt_table = (map_addr_t *)(pt & X86_PG_FRAME); in update_pt_entry() local
386 uint64_t *pt_table = (uint64_t *)(pde & X86_PG_FRAME); in update_pt_entry() local