Searched refs:xen_pvmmu_arch_setup (Results 1 – 1 of 1) sorted by relevance
1015 void __init xen_pvmmu_arch_setup(void) in xen_pvmmu_arch_setup() function1036 xen_pvmmu_arch_setup(); in xen_arch_setup()