60 #define switcher_pte_page(cpu) per_cpu(switcher_pte_pages, cpu)  argument
72 static pgd_t *spgd_addr(struct lg_cpu *cpu, u32 i, unsigned long vaddr)  in spgd_addr()
98 static unsigned long gpgd_addr(struct lg_cpu *cpu, unsigned long vaddr)  in gpgd_addr()
139 static pte_t gpte_to_spte(struct lg_cpu *cpu, pte_t gpte, int write)  in gpte_to_spte()
178 static void check_gpte(struct lg_cpu *cpu, pte_t gpte)  in check_gpte()
185 static void check_gpgd(struct lg_cpu *cpu, pgd_t gpgd)  in check_gpgd()
202 int demand_page(struct lg_cpu *cpu, unsigned long vaddr, int errcode)  in demand_page()
299 static int page_writable(struct lg_cpu *cpu, unsigned long vaddr)  in page_writable()
319 void pin_page(struct lg_cpu *cpu, unsigned long vaddr)  in pin_page()
360 void guest_pagetable_flush_user(struct lg_cpu *cpu)  in guest_pagetable_flush_user()
368 unsigned long guest_pa(struct lg_cpu *cpu, unsigned long vaddr)  in guest_pa()
401 static unsigned int new_pgdir(struct lg_cpu *cpu,  in new_pgdir()
435 void guest_new_pagetable(struct lg_cpu *cpu, unsigned long pgtable)  in guest_new_pagetable()
471 void guest_pagetable_clear_all(struct lg_cpu *cpu)  in guest_pagetable_clear_all()
500 static void do_set_pte(struct lg_cpu *cpu, int idx,  in do_set_pte()
536 void guest_set_pte(struct lg_cpu *cpu,  in guest_set_pte()
669 void page_table_guest_data_init(struct lg_cpu *cpu)  in page_table_guest_data_init()
706 void map_switcher_in_guest(struct lg_cpu *cpu, struct lguest_pages *pages)  in map_switcher_in_guest()
744 static __init void populate_switcher_pte_page(unsigned int cpu,  in populate_switcher_pte_page()