| 1 | /* $NetBSD: intrdefs.h,v 1.12 2014/05/19 22:47:54 rmind Exp $ */ |
| 2 | |
| 3 | /* This file co-exists, and is included via machine/intrdefs.h */ |
| 4 | |
| 5 | #ifndef _XEN_INTRDEFS_H_ |
| 6 | #define _XEN_INTRDEFS_H_ |
| 7 | |
| 8 | /* Xen IPI types */ |
| 9 | #define XEN_IPI_KICK 0x00000000 |
| 10 | #define XEN_IPI_HALT 0x00000001 |
| 11 | #define XEN_IPI_SYNCH_FPU 0x00000002 |
| 12 | #define XEN_IPI_DDB 0x00000004 |
| 13 | #define XEN_IPI_XCALL 0x00000008 |
| 14 | #define XEN_IPI_HVCB 0x00000010 |
| 15 | #define XEN_IPI_GENERIC 0x00000020 |
| 16 | |
| 17 | /* Note: IPI_KICK does not have a handler. */ |
| 18 | #define XEN_NIPIS 6 |
| 19 | |
| 20 | #endif /* _XEN_INTRDEFS_H_ */ |
| 21 | |