1#ifndef _ASM_IA64_MACHVEC_XEN_h
 2#define _ASM_IA64_MACHVEC_XEN_h
 3
 4extern ia64_mv_setup_t			dig_setup;
 5extern ia64_mv_cpu_init_t		xen_cpu_init;
 6extern ia64_mv_irq_init_t		xen_irq_init;
 7extern ia64_mv_send_ipi_t		xen_platform_send_ipi;
 8
 9/*
10 * This stuff has dual use!
11 *
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.
15 */
16#define 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
21
22#endif /* _ASM_IA64_MACHVEC_XEN_h */