1 /******************************************************************************
4 * NMI callback registration and reason codes.
6 * Copyright (c) 2005, Keir Fraser <keir@xensource.com>
9 #ifndef __XEN_PUBLIC_NMI_H__
10 #define __XEN_PUBLIC_NMI_H__
14 * Currently these are x86-specific, stored in arch_shared_info.nmi_reason.
16 /* I/O-check error reported via ISA port 0x61, bit 6. */
17 #define _XEN_NMIREASON_io_error 0
18 #define XEN_NMIREASON_io_error (1UL << _XEN_NMIREASON_io_error)
19 /* Parity error reported via ISA port 0x61, bit 7. */
20 #define _XEN_NMIREASON_parity_error 1
21 #define XEN_NMIREASON_parity_error (1UL << _XEN_NMIREASON_parity_error)
22 /* Unknown hardware-generated NMI. */
23 #define _XEN_NMIREASON_unknown 2
24 #define XEN_NMIREASON_unknown (1UL << _XEN_NMIREASON_unknown)
27 * long nmi_op(unsigned int cmd, void *arg)
28 * NB. All ops return zero on success, else a negative error code.
32 * Register NMI callback for this (calling) VCPU. Currently this only makes
33 * sense for domain 0, vcpu 0. All other callers will be returned EINVAL.
34 * arg == pointer to xennmi_callback structure.
36 #define XENNMI_register_callback 0
37 struct xennmi_callback {
38 unsigned long handler_address;
41 typedef struct xennmi_callback xennmi_callback_t;
42 DEFINE_XEN_GUEST_HANDLE(xennmi_callback_t);
45 * Deregister NMI callback for this (calling) VCPU.
48 #define XENNMI_unregister_callback 1
50 #endif /* __XEN_PUBLIC_NMI_H__ */
58 * indent-tabs-mode: nil