Searched refs:xen_arch_setup (Results 1 – 2 of 2) sorted by relevance
61 void __init xen_arch_setup(void);
1030 void __init xen_arch_setup(void) in xen_arch_setup() function