Searched refs:xen_arch_setup (Results 1 – 3 of 3) sorted by relevance
57 void __init xen_arch_setup(void);
1034 void __init xen_arch_setup(void) in xen_arch_setup() function
1356 x86_init.oem.arch_setup = xen_arch_setup; in xen_start_kernel()