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