Home | History | Annotate | Line # | Download | only in include
intrdefs.h revision 1.17 
      1 /* $NetBSD: intrdefs.h,v 1.17 2020/04/25 15:26:17 bouyer 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_HALT		0x00000001
     10 #define XEN_IPI_SYNCH_FPU	0x00000002
     11 #define XEN_IPI_DDB		0x00000004
     12 #define XEN_IPI_XCALL		0x00000008
     13 #define XEN_IPI_HVCB		0x00000010
     14 #define XEN_IPI_GENERIC		0x00000020
     15 #define XEN_IPI_AST		0x00000040
     16 #define XEN_IPI_KPREEMPT	0x00000080
     17 
     18 /* Note: IPI_KICK does not have a handler. */
     19 #define XEN_NIPIS		8
     20 
     21 /* The number of 'irqs' that XEN understands */
     22 #define NUM_XEN_IRQS 		256
     23 
     24 #define XEN_IPI_NAMES {  "halt IPI", "FPU synch IPI", \
     25 			 "DDB IPI", "xcall IPI", \
     26 			 "HVCB IPI", "generic IPI", \
     27 			 "AST IPI", "kpreempt IPI" }
     28 
     29 #endif /* _XEN_INTRDEFS_H_ */
     30