Searched refs:XEN_NMI_VECTOR (Results 1 – 3 of 3) sorted by relevance
10 XEN_NMI_VECTOR, enumerator
614 xen_vector = XEN_NMI_VECTOR; in xen_map_vector()
1212 if (unlikely(vector == XEN_NMI_VECTOR)) { in xen_send_IPI_one()