Searched defs:pml4e_addr (Results 1 – 1 of 1) sorted by relevance
1012 uint64_t pml4e_addr, pml4e; in cpu_x86_handle_mmu_fault() local1285 uint64_t pml4e_addr, pml4e; in cpu_get_phys_page_debug() local