Searched defs:gpgd (Results 1 – 1 of 1) sorted by relevance
169 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr) in gpmd_addr()188 pgd_t gpgd, unsigned long vaddr) in gpte_addr()285 static void check_gpgd(struct lg_cpu *cpu, pgd_t gpgd) in check_gpgd()314 pgd_t gpgd; in demand_page() local625 pgd_t gpgd; in guest_pa() local