Searched defs:pdpe_start_addr (Results 1 – 1 of 1) sorted by relevance
161 hwaddr pdpe_start_addr, int32_t a20_mask) in walk_pdpe2()185 hwaddr pdpe_start_addr, int32_t a20_mask, in walk_pdpe()225 hwaddr pml4e_addr, pdpe_start_addr; in walk_pml4e() local