Searched refs:xen_vector (Results 1 – 1 of 1) sorted by relevance
176 int xen_vector; in xen_map_vector() local180 xen_vector = XEN_RESCHEDULE_VECTOR; in xen_map_vector()183 xen_vector = XEN_CALL_FUNCTION_VECTOR; in xen_map_vector()189 xen_vector = XEN_IRQ_WORK_VECTOR; in xen_map_vector()194 xen_vector = XEN_NMI_VECTOR; in xen_map_vector()198 xen_vector = -1; in xen_map_vector()203 return xen_vector; in xen_map_vector()211 if (xen_vector >= 0) in xen_send_IPI_mask()219 if (xen_vector >= 0) in xen_send_IPI_all()227 if (xen_vector >= 0) in xen_send_IPI_self()[all …]