Searched refs:xen_init_mmu_ops (Results 1 – 3 of 3) sorted by relevance
26 extern void xen_init_mmu_ops(void);
1258 xen_init_mmu_ops(); in xen_start_kernel()
2142 void __init xen_init_mmu_ops(void) in xen_init_mmu_ops() function