83 static pgd_t *spgd_addr(struct lg_cpu *cpu, u32 i, unsigned long vaddr)  in spgd_addr()
97 static pmd_t *spmd_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spmd_addr()
115 static pte_t *spte_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spte_addr()
139 	return cpu->lg->pgdirs[cpu->cpu_pgd].gpgdir + index * sizeof(pgd_t);  in gpgd_addr()
144 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr)  in gpmd_addr()
163 				pgd_t gpgd, unsigned long vaddr)  in gpte_addr()
273 static bool check_gpgd(struct lg_cpu *cpu, pgd_t gpgd)  in check_gpgd()
306 	pgd_t *spgd;  in find_spte()
400 	pgd_t gpgd;  in demand_page()
413 		gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t);  in demand_page()
604 static void release_pgd(pgd_t *spgd)  in release_pgd()
627 static void release_pgd(pgd_t *spgd)  in release_pgd()
678 	pgd_t gpgd;  in __guest_pa()
691 	gpgd = lgread(cpu, gpgd_addr(cpu, vaddr), pgd_t);  in __guest_pa()
761 					(pgd_t *)get_zeroed_page(GFP_KERNEL);  in new_pgdir()
936 	pgd_t *spgd = spgd_addr(cpu, idx, vaddr);  in __guest_set_pte()