115 static pte_t *spte_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spte_addr()
119 	pte_t *page = __va(pmd_pfn(*pmd) << PAGE_SHIFT);  in spte_addr()
124 	pte_t *page = __va(pgd_pfn(spgd) << PAGE_SHIFT);  in spte_addr()
158 	return gpage + pte_index(vaddr) * sizeof(pte_t);  in gpte_addr()
168 	return gpage + pte_index(vaddr) * sizeof(pte_t);  in gpte_addr()
206 static pte_t gpte_to_spte(struct lg_cpu *cpu, pte_t gpte, int write)  in gpte_to_spte()
242 static void release_pte(pte_t pte)  in release_pte()
253 static bool gpte_in_iomem(struct lg_cpu *cpu, pte_t gpte)  in gpte_in_iomem()
263 static bool check_gpte(struct lg_cpu *cpu, pte_t gpte)  in check_gpte()
303 static pte_t *find_spte(struct lg_cpu *cpu, unsigned long vaddr, bool allocate,  in find_spte()
397 	pte_t gpte;  in demand_page()
398 	pte_t *spte;  in demand_page()
462 		gpte = lgread(cpu, gpte_ptr, pte_t);  in demand_page()
529 		lgwrite(cpu, gpte_ptr, pte_t, gpte);  in demand_page()
553 	pte_t *spte;  in page_writable()
593 		pte_t *ptepage = __va(pmd_pfn(*spmd) << PAGE_SHIFT);  in release_pmd()
637 		pte_t *ptepage = __va(pgd_pfn(*spgd) << PAGE_SHIFT);  in release_pgd()
679 	pte_t gpte;  in __guest_pa()
700 	gpte = lgread(cpu, gpte_addr(cpu, gpmd, vaddr), pte_t);  in __guest_pa()
702 	gpte = lgread(cpu, gpte_addr(cpu, gpgd, vaddr), pte_t);  in __guest_pa()
799 		pte_t *pte = find_spte(cpu, switcher_addr + i * PAGE_SIZE, true,  in allocate_switcher_mapping()
933 		       unsigned long vaddr, pte_t gpte)  in __guest_set_pte()
948 			pte_t *spte = spte_addr(cpu, *spgd, vaddr);  in __guest_set_pte()
990 		   unsigned long gpgdir, unsigned long vaddr, pte_t gpte)  in guest_set_pte()
1145 	pte_t *pte;  in remove_switcher_percpu_map()
1171 	pte_t *pte;  in map_switcher_in_guest()