Name	Size	Mode	Actions
hvm/	-	0755	rm
io/	-	0755	rm
callback.h	3542	0644	editdlrm
elfnote.h	6424	0644	editdlrm
event_channel.h	7657	0644	editdlrm
features.h	3403	0644	editdlrm
grant_table.h	20944	0644	editdlrm
memory.h	10927	0644	editdlrm
nmi.h	1546	0644	editdlrm
physdev.h	8433	0644	editdlrm
platform.h	16512	0644	editdlrm
sched.h	6727	0644	editdlrm
vcpu.h	8672	0644	editdlrm
version.h	2098	0644	editdlrm
xen-mca.h	11167	0644	editdlrm
xen.h	31692	0644	editdlrm
xenpmu.h	2532	0644	editdlrm

/* SPDX-License-Identifier: GPL-2.0 */ /****************************************************************************** * nmi.h * * NMI callback registration and reason codes. * * Copyright (c) 2005, Keir Fraser */ #ifndef __XEN_PUBLIC_NMI_H__ #define __XEN_PUBLIC_NMI_H__ #include /* * NMI reason codes: * Currently these are x86-specific, stored in arch_shared_info.nmi_reason. */ /* I/O-check error reported via ISA port 0x61, bit 6. */ #define _XEN_NMIREASON_io_error 0 #define XEN_NMIREASON_io_error (1UL << _XEN_NMIREASON_io_error) /* PCI SERR reported via ISA port 0x61, bit 7. */ #define _XEN_NMIREASON_pci_serr 1 #define XEN_NMIREASON_pci_serr (1UL << _XEN_NMIREASON_pci_serr) /* Unknown hardware-generated NMI. */ #define _XEN_NMIREASON_unknown 2 #define XEN_NMIREASON_unknown (1UL << _XEN_NMIREASON_unknown) /* * long nmi_op(unsigned int cmd, void *arg) * NB. All ops return zero on success, else a negative error code. */ /* * Register NMI callback for this (calling) VCPU. Currently this only makes * sense for domain 0, vcpu 0. All other callers will be returned EINVAL. * arg == pointer to xennmi_callback structure. */ #define XENNMI_register_callback 0 struct xennmi_callback { unsigned long handler_address; unsigned long pad; }; DEFINE_GUEST_HANDLE_STRUCT(xennmi_callback); /* * Deregister NMI callback for this (calling) VCPU. * arg == NULL. */ #define XENNMI_unregister_callback 1 #endif /* __XEN_PUBLIC_NMI_H__ */