Home | History | Annotate | Line # | Download | only in include
intrdefs.h revision 1.11.24.1 
      1  1.11.24.1     tls /* $NetBSD: intrdefs.h,v 1.11.24.1 2014/08/10 06:54:11 tls Exp $ */
      2        1.1  bouyer 
      3       1.10  cherry /* This file co-exists, and is included via machine/intrdefs.h */
      4       1.10  cherry 
      5       1.10  cherry #ifndef _XEN_INTRDEFS_H_
      6       1.10  cherry #define _XEN_INTRDEFS_H_
      7       1.10  cherry 
      8       1.10  cherry /* Xen IPI types */
      9       1.10  cherry #define XEN_IPI_KICK		0x00000000
     10       1.10  cherry #define XEN_IPI_HALT		0x00000001
     11       1.10  cherry #define XEN_IPI_SYNCH_FPU	0x00000002
     12       1.10  cherry #define XEN_IPI_DDB		0x00000004
     13       1.10  cherry #define XEN_IPI_XCALL		0x00000008
     14       1.11  cherry #define XEN_IPI_HVCB		0x00000010
     15  1.11.24.1     tls #define XEN_IPI_GENERIC		0x00000020
     16       1.10  cherry 
     17  1.11.24.1     tls /* Note: IPI_KICK does not have a handler. */
     18  1.11.24.1     tls #define XEN_NIPIS		6
     19       1.10  cherry 
     20       1.10  cherry #endif /* _XEN_INTRDEFS_H_ */
     21