Searched defs:pml4e_start_addr (Results 1 – 1 of 1) sorted by relevance
223 hwaddr pml4e_start_addr, int32_t a20_mask, in walk_pml4e()249 hwaddr pml5e_addr, pml4e_start_addr; in walk_pml5e() local