Searched defs:pde_start_addr (Results 1 – 1 of 1) sorted by relevance
83 hwaddr pde_start_addr, in walk_pde()120 hwaddr pde_start_addr, int32_t a20_mask, in walk_pde2()164 hwaddr pdpe_addr, pde_start_addr; in walk_pdpe2() local189 hwaddr pdpe_addr, pde_start_addr, start_paddr; in walk_pdpe() local