Lines Matching defs:xen_vector
179 int xen_vector;
183 xen_vector = XEN_RESCHEDULE_VECTOR;
186 xen_vector = XEN_CALL_FUNCTION_VECTOR;
189 xen_vector = XEN_CALL_FUNCTION_SINGLE_VECTOR;
192 xen_vector = XEN_IRQ_WORK_VECTOR;
197 xen_vector = XEN_NMI_VECTOR;
201 xen_vector = -1;
206 return xen_vector;
212 int xen_vector = xen_map_vector(vector);
214 if (xen_vector >= 0)
215 __xen_send_IPI_mask(mask, xen_vector);
220 int xen_vector = xen_map_vector(vector);
222 if (xen_vector >= 0)
223 __xen_send_IPI_mask(cpu_online_mask, xen_vector);
228 int xen_vector = xen_map_vector(vector);
230 if (xen_vector >= 0)
231 xen_send_IPI_one(smp_processor_id(), xen_vector);
239 int xen_vector = xen_map_vector(vector);
241 if (!(num_online_cpus() > 1) || (xen_vector < 0))
248 xen_send_IPI_one(cpu, xen_vector);