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