Searched defs:pd_table (Results 1 – 2 of 2) sorted by relevance
83 map_addr_t *pd_table; in get_pd_entry_from_pd_table() local298 map_addr_t *pd_table = (map_addr_t *)(pdt & X86_PG_FRAME); in update_pd_entry() local
403 uint64_t *pd_table = (uint64_t *)(pdpe & X86_PG_FRAME); in update_pd_entry() local