#ifndef _X86_INTRDEFS_H_
#define _X86_INTRDEFS_H_
#define IPL_NONE 0x0
#define IPL_PREEMPT 0x1
#define IPL_SOFTCLOCK 0x2
#define IPL_SOFTBIO 0x3
#define IPL_SOFTNET 0x4
#define IPL_SOFTSERIAL 0x5
#define IPL_VM 0x6
#define IPL_SCHED 0x7
#define IPL_HIGH 0x8
#define NIPL 9
#define IST_NONE 0
#define IST_PULSE 1
#define IST_EDGE 2
#define IST_LEVEL 3
#define LIR_IPI 55
#define LIR_TIMER 54
#define SIR_SERIAL 29
#define SIR_NET 28
#define SIR_BIO 27
#define SIR_CLOCK 26
#define SIR_PREEMPT 25
#define LIR_HV 24
#define SIR_XENIPL_HIGH 23
#define SIR_XENIPL_SCHED 22
#define SIR_XENIPL_VM 21
#define XEN_IPL2SIR(ipl) ((ipl) + (SIR_XENIPL_VM - IPL_VM))
#define MAX_INTR_SOURCES 56
#define NUM_LEGACY_IRQS 16
#define IDT_INTR_LOW (0x20 + NUM_LEGACY_IRQS)
#define IDT_INTR_HIGH 0xef
#ifndef XENPV
#define X86_IPI_HALT 0x00000001
#define X86_IPI_AST 0x00000002
#define X86_IPI_GENERIC 0x00000004
#define X86_IPI_SYNCH_FPU 0x00000008
#define X86_IPI_MTRR 0x00000010
#define X86_IPI_GDT 0x00000020
#define X86_IPI_XCALL 0x00000040
#define X86_IPI_ACPI_CPU_SLEEP 0x00000080
#define X86_IPI_KPREEMPT 0x00000100
#define X86_NIPI 9
#define X86_IPI_NAMES { "halt IPI", "AST IPI", "generic IPI", \
"FPU synch IPI", "MTRR update IPI", \
"GDT update IPI", "xcall IPI", \
"ACPI CPU sleep IPI", "kpreempt IPI" }
#endif
#define IREENT_MAGIC 0x18041969
#endif