XEN_NMI_VECTOR    206 arch/x86/xen/smp.c 		xen_vector = XEN_NMI_VECTOR;
XEN_NMI_VECTOR   1203 drivers/xen/events/events_base.c 	if (unlikely(vector == XEN_NMI_VECTOR)) {