854 void xen_mm_pin_all(void)  in xen_mm_pin_all()  argument
882 static void __init xen_mark_init_mm_pinned(void)  in xen_mark_init_mm_pinned()  argument
968 void xen_mm_unpin_all(void)  in xen_mm_unpin_all()  argument
1117 static void __init xen_pagetable_p2m_free(void)  in xen_pagetable_p2m_free()  argument
1166 static void __init xen_pagetable_p2m_setup(void)  in xen_pagetable_p2m_setup()  argument
1180 static void __init xen_pagetable_init(void)  in xen_pagetable_init()  argument
1201 static unsigned long xen_read_cr2(void)  in xen_read_cr2()  argument
1206 unsigned long xen_read_cr2_direct(void)  in xen_read_cr2_direct()  argument
1211 void xen_flush_tlb_all(void)  in xen_flush_tlb_all()  argument
1230 static void xen_flush_tlb(void)  in xen_flush_tlb()  argument
1308 static unsigned long xen_read_cr3(void)  in xen_read_cr3()  argument
1643 void __init xen_reserve_top(void)  in xen_reserve_top()  argument
1754 void __init xen_setup_machphys_mapping(void)  in xen_setup_machphys_mapping()  argument
2041 static void __init xen_post_allocator_init(void)  in xen_post_allocator_init()  argument
2071 static void xen_leave_lazy_mmu(void)  in xen_leave_lazy_mmu()  argument
2147 void __init xen_init_mmu_ops(void)  in xen_init_mmu_ops()  argument
2414 static int is_pagetable_dying_supported(void)  in is_pagetable_dying_supported()  argument
2429 void __init xen_hvm_init_mmu_ops(void)  in xen_hvm_init_mmu_ops()  argument