86
86
#define init_hypervisor(c) ((void)((c)->x86_hyper_vendor = X86_HYPER_VENDOR_XEN))
87
87
#define init_hypervisor_platform() init_hypervisor(&boot_cpu_data)
89
91
/* arch/xen/kernel/evtchn.c */
90
92
/* Force a proper event-channel callback from Xen. */
91
93
void force_evtchn_callback(void);