94 static pgd_t *spgd_addr(struct lg_cpu *cpu, u32 i, unsigned long vaddr)  in spgd_addr()
115 static pmd_t *spmd_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spmd_addr()
140 static pte_t *spte_addr(struct lg_cpu *cpu, pgd_t spgd, unsigned long vaddr)  in spte_addr()
161 static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr)  in gpgd_addr()
169 static unsigned long gpmd_addr(pgd_t gpgd, unsigned long vaddr)  in gpmd_addr()
178 			       pmd_t gpmd, unsigned long vaddr)  in gpte_addr()
188 				pgd_t gpgd, unsigned long vaddr)  in gpte_addr()
312 bool demand_page(struct lg_cpu *cpu, unsigned long vaddr, int errcode)  in demand_page()
494 static bool page_writable(struct lg_cpu *cpu, unsigned long vaddr)  in page_writable()
527 void pin_page(struct lg_cpu *cpu, unsigned long vaddr)  in pin_page()
623 unsigned long guest_pa(struct lg_cpu *cpu, unsigned long vaddr)  in guest_pa()
843 		       unsigned long vaddr, pte_t gpte)  in do_set_pte()
898 		   unsigned long gpgdir, unsigned long vaddr, pte_t gpte)  in guest_set_pte()