Searched refs:xen_init_mmu_ops (Results 1 – 3 of 3) sorted by relevance
201 void xen_init_mmu_ops(void);
1448 xen_init_mmu_ops(); in xen_start_kernel()
2243 void __init xen_init_mmu_ops(void) in xen_init_mmu_ops() function