1*c24c993fSbouyer /* $NetBSD: intrdefs.h,v 1.17 2020/04/25 15:26:17 bouyer Exp $ */ 28d4cb7a7Scherry 38d4cb7a7Scherry /* This file co-exists, and is included via machine/intrdefs.h */ 48d4cb7a7Scherry 58d4cb7a7Scherry #ifndef _XEN_INTRDEFS_H_ 68d4cb7a7Scherry #define _XEN_INTRDEFS_H_ 78d4cb7a7Scherry 88d4cb7a7Scherry /* Xen IPI types */ 98d4cb7a7Scherry #define XEN_IPI_HALT 0x00000001 108d4cb7a7Scherry #define XEN_IPI_SYNCH_FPU 0x00000002 118d4cb7a7Scherry #define XEN_IPI_DDB 0x00000004 128d4cb7a7Scherry #define XEN_IPI_XCALL 0x00000008 13926a9338Scherry #define XEN_IPI_HVCB 0x00000010 148011b285Srmind #define XEN_IPI_GENERIC 0x00000020 15115c1bc0Sad #define XEN_IPI_AST 0x00000040 16*c24c993fSbouyer #define XEN_IPI_KPREEMPT 0x00000080 178d4cb7a7Scherry 188011b285Srmind /* Note: IPI_KICK does not have a handler. */ 19*c24c993fSbouyer #define XEN_NIPIS 8 208d4cb7a7Scherry 2156d430baScherry /* The number of 'irqs' that XEN understands */ 2256d430baScherry #define NUM_XEN_IRQS 256 2356d430baScherry 24084208a9Sad #define XEN_IPI_NAMES { "halt IPI", "FPU synch IPI", \ 25084208a9Sad "DDB IPI", "xcall IPI", \ 26084208a9Sad "HVCB IPI", "generic IPI", \ 27*c24c993fSbouyer "AST IPI", "kpreempt IPI" } 28084208a9Sad 298d4cb7a7Scherry #endif /* _XEN_INTRDEFS_H_ */ 30