97 static pmd_t *spmd_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spmd_addr()
100 	pmd_t *page;  in spmd_addr()
118 	pmd_t *pmd = spmd_addr(cpu, spgd, vaddr);  in spte_addr()
148 	return gpage + pmd_index(vaddr) * sizeof(pmd_t);  in gpmd_addr()
153 			       pmd_t gpmd, unsigned long vaddr)  in gpte_addr()
284 static bool check_gpmd(struct lg_cpu *cpu, pmd_t gpmd)  in check_gpmd()
309 	pmd_t *spmd;  in find_spte()
399 	pmd_t gpmd;  in demand_page()
431 		gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t);  in demand_page()
588 static void release_pmd(pmd_t *spmd)  in release_pmd()
609 		pmd_t *pmdpage = __va(pgd_pfn(*spgd) << PAGE_SHIFT);  in release_pgd()
681 	pmd_t gpmd;  in __guest_pa()
697 	gpmd = lgread(cpu, gpmd_addr(gpgd, vaddr), pmd_t);  in __guest_pa()
938 	pmd_t *spmd;  in __guest_set_pte()