Go to the documentation of this file. 1 #ifndef _ASM_IA64_MACHVEC_XEN_h
2 #define _ASM_IA64_MACHVEC_XEN_h
16 #define ia64_platform_name "xen"
17 #define platform_setup dig_setup
18 #define platform_cpu_init xen_cpu_init
19 #define platform_irq_init xen_irq_init
20 #define platform_send_ipi xen_platform_send_ipi