Searched defs:pde_start_addr (Results 1 – 1 of 1) sorted by relevance
82 hwaddr pde_start_addr, in walk_pde()119 hwaddr pde_start_addr, int32_t a20_mask, in walk_pde2()163 hwaddr pdpe_addr, pde_start_addr; in walk_pdpe2() local188 hwaddr pdpe_addr, pde_start_addr, start_paddr; in walk_pdpe() local