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()
136 static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr)  in gpgd_addr()
144 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr)  in gpmd_addr()
153 			       pmd_t gpmd, unsigned long vaddr)  in gpte_addr()
163 				pgd_t gpgd, unsigned long vaddr)  in gpte_addr()
303 static pte_t *find_spte(struct lg_cpu *cpu, unsigned long vaddr, bool allocate,  in find_spte()
393 bool demand_page(struct lg_cpu *cpu, unsigned long vaddr, int errcode,  in demand_page()
551 static bool page_writable(struct lg_cpu *cpu, unsigned long vaddr)  in page_writable()
578 void pin_page(struct lg_cpu *cpu, unsigned long vaddr)  in pin_page()
676 bool __guest_pa(struct lg_cpu *cpu, unsigned long vaddr, unsigned long *paddr)  in __guest_pa()
719 unsigned long guest_pa(struct lg_cpu *cpu, unsigned long vaddr)  in guest_pa()
933 		       unsigned long vaddr, pte_t gpte)  in __guest_set_pte()
990 		   unsigned long gpgdir, unsigned long vaddr, pte_t gpte)  in guest_set_pte()