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