Searched defs:pml4_index (Results 1 – 1 of 1) sorted by relevance
144 uint32_t pml4_index; in get_pml4_entry_from_pml4_table() local429 uint32_t pml4_index; in update_pml4_entry() local