Searched refs:xen_pvmmu_arch_setup (Results 1 – 1 of 1) sorted by relevance
1020 static void __init xen_pvmmu_arch_setup(void) in xen_pvmmu_arch_setup() function1037 xen_pvmmu_arch_setup(); in xen_arch_setup()