Home | History | Annotate | Line # | Download | only in include
intrdefs.h revision 1.14 
      1 /* $NetBSD: intrdefs.h,v 1.14 2019/11/23 19:40:38 ad 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 #define XEN_IPI_AST		0x00000040
     17 
     18 /* Note: IPI_KICK does not have a handler. */
     19 #define XEN_NIPIS		7
     20 
     21 /* The number of 'irqs' that XEN understands */
     22 #define NUM_XEN_IRQS 		256
     23 
     24 #endif /* _XEN_INTRDEFS_H_ */
     25