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