172 static void clamp_max_cpus(void)  in clamp_max_cpus()  argument
242 void xen_vcpu_restore(void)  in xen_vcpu_restore()  argument
265 static void __init xen_banner(void)  in xen_banner()  argument
355 static bool __init xen_check_mwait(void)  in xen_check_mwait()  argument
426 static void __init xen_init_cpuid_mask(void)  in xen_init_cpuid_mask()  argument
472 static unsigned long xen_store_tr(void)  in xen_store_tr()  argument
971 static void xen_io_delay(void)  in xen_io_delay()  argument
975 static void xen_clts(void)  in xen_clts()  argument
988 static unsigned long xen_read_cr0(void)  in xen_read_cr0()  argument
1023 static inline unsigned long xen_read_cr8(void)  in xen_read_cr8()  argument
1089 void xen_setup_shared_info(void)  in xen_setup_shared_info()  argument
1110 void xen_setup_vcpu_info_placement(void)  in xen_setup_vcpu_info_placement()  argument
1283 static void xen_emergency_restart(void)  in xen_emergency_restart()  argument
1288 static void xen_machine_halt(void)  in xen_machine_halt()  argument
1293 static void xen_machine_power_off(void)  in xen_machine_power_off()  argument
1317 int xen_panic_handler_init(void)  in xen_panic_handler_init()  argument
1332 static unsigned char xen_get_nmi_reason(void)  in xen_get_nmi_reason()  argument
1347 static void __init xen_boot_params_init_edd(void)  in xen_boot_params_init_edd()  argument
1490 static void __init xen_pvh_early_guest_init(void)  in xen_pvh_early_guest_init()  argument
1510 asmlinkage __visible void __init xen_start_kernel(void)  in xen_start_kernel()  argument
1723 void __ref xen_hvm_init_shared_info(void)  in xen_hvm_init_shared_info()  argument
1758 static void __init init_hvm_pv_info(void)  in init_hvm_pv_info()  argument
1806 static void xen_hvm_shutdown(void)  in xen_hvm_shutdown()  argument
1820 static void __init xen_hvm_guest_init(void)  in xen_hvm_guest_init()  argument
1854 static uint32_t __init xen_platform(void)  in xen_platform()  argument
1862 bool xen_hvm_need_lapic(void)  in xen_hvm_need_lapic()  argument