1 #ifndef _ASM_IA64_MACHVEC_XEN_h
2 #define _ASM_IA64_MACHVEC_XEN_h
4 extern ia64_mv_setup_t dig_setup
;
5 extern ia64_mv_cpu_init_t xen_cpu_init
;
6 extern ia64_mv_irq_init_t xen_irq_init
;
7 extern ia64_mv_send_ipi_t xen_platform_send_ipi
;
10 * This stuff has dual use!
12 * For a generic kernel, the macros are used to initialize the
13 * platform's machvec structure. When compiling a non-generic kernel,
14 * the macros are used directly.
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
22 #endif /* _ASM_IA64_MACHVEC_XEN_h */