Searched defs:entry_virt_addr (Results 1 – 1 of 1) sorted by relevance
577 uint64_t entry_virt_addr = table_virt_addr + e * addr_increment; in display_pml4_level() local586 uint64_t entry_virt_addr = table_virt_addr + e * addr_increment; in display_pml4_level() local