174 static void clamp_max_cpus(void)  in clamp_max_cpus()  argument
244 void xen_vcpu_restore(void)  in xen_vcpu_restore()  argument
267 static void __init xen_banner(void)  in xen_banner()  argument
357 static bool __init xen_check_mwait(void)  in xen_check_mwait()  argument
428 static void __init xen_init_cpuid_mask(void)  in xen_init_cpuid_mask()  argument
474 static unsigned long xen_store_tr(void)  in xen_store_tr()  argument
973 static void xen_io_delay(void)  in xen_io_delay()  argument
977 static void xen_clts(void)  in xen_clts()  argument
990 static unsigned long xen_read_cr0(void)  in xen_read_cr0()  argument
1024 static inline unsigned long xen_read_cr8(void)  in xen_read_cr8()  argument
1095 void xen_setup_shared_info(void)  in xen_setup_shared_info()  argument
1116 void xen_setup_vcpu_info_placement(void)  in xen_setup_vcpu_info_placement()  argument
1291 static void xen_emergency_restart(void)  in xen_emergency_restart()  argument
1296 static void xen_machine_halt(void)  in xen_machine_halt()  argument
1301 static void xen_machine_power_off(void)  in xen_machine_power_off()  argument
1325 int xen_panic_handler_init(void)  in xen_panic_handler_init()  argument
1340 static unsigned char xen_get_nmi_reason(void)  in xen_get_nmi_reason()  argument
1355 static void __init xen_boot_params_init_edd(void)  in xen_boot_params_init_edd()  argument
1498 static void __init xen_pvh_early_guest_init(void)  in xen_pvh_early_guest_init()  argument
1518 asmlinkage __visible void __init xen_start_kernel(void)  in xen_start_kernel()  argument
1736 void __ref xen_hvm_init_shared_info(void)  in xen_hvm_init_shared_info()  argument
1771 static void __init init_hvm_pv_info(void)  in init_hvm_pv_info()  argument
1819 static void xen_hvm_shutdown(void)  in xen_hvm_shutdown()  argument
1833 static void __init xen_hvm_guest_init(void)  in xen_hvm_guest_init()  argument
1867 static uint32_t __init xen_platform(void)  in xen_platform()  argument
1875 bool xen_hvm_need_lapic(void)  in xen_hvm_need_lapic()  argument