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)) {