Searched refs:gpgd_addr (Results 1 – 1 of 1) sorted by relevance
136 static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr) in gpgd_addr() function413 gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t); in demand_page()691 gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t); in __guest_pa()