Searched defs:pml4e_addr (Results 1 – 2 of 2) sorted by relevance
226 hwaddr pml4e_addr, pdpe_start_addr; in walk_pml4e() local292 hwaddr pml4e_addr; in x86_cpu_get_memory_mapping() local
266 uint64_t pml4e_addr, pml4e; in x86_cpu_get_phys_page_attrs_debug() local