RESCHEDULE_VECTOR
SYSVEC(RESCHEDULE_VECTOR, reschedule_ipi),
DECLARE_IDTENTRY(RESCHEDULE_VECTOR, sysvec_reschedule_ipi);
__apic_send_IPI(cpu, RESCHEDULE_VECTOR);
INTG(RESCHEDULE_VECTOR, asm_sysvec_reschedule_ipi),
trace_reschedule_entry(RESCHEDULE_VECTOR);
trace_reschedule_exit(RESCHEDULE_VECTOR);
case RESCHEDULE_VECTOR: