Lines Matching defs:xen_vector
191 int xen_vector;
195 xen_vector = XEN_RESCHEDULE_VECTOR;
198 xen_vector = XEN_CALL_FUNCTION_VECTOR;
201 xen_vector = XEN_CALL_FUNCTION_SINGLE_VECTOR;
204 xen_vector = XEN_IRQ_WORK_VECTOR;
209 xen_vector = XEN_NMI_VECTOR;
213 xen_vector = -1;
218 return xen_vector;
224 int xen_vector = xen_map_vector(vector);
226 if (xen_vector >= 0)
227 __xen_send_IPI_mask(mask, xen_vector);
232 int xen_vector = xen_map_vector(vector);
234 if (xen_vector >= 0)
235 __xen_send_IPI_mask(cpu_online_mask, xen_vector);
240 int xen_vector = xen_map_vector(vector);
242 if (xen_vector >= 0)
243 xen_send_IPI_one(smp_processor_id(), xen_vector);
251 int xen_vector = xen_map_vector(vector);
253 if (!(num_online_cpus() > 1) || (xen_vector < 0))
260 xen_send_IPI_one(cpu, xen_vector);