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