Searched defs:pml4_table (Results 1 – 1 of 1) sorted by relevance
145 uint64_t *pml4_table = (uint64_t *)pml4_addr; in get_pml4_entry_from_pml4_table() local430 uint64_t *pml4_table = (uint64_t *)(pml4_addr); in update_pml4_entry() local