CALL_FUNCTION_SINGLE_VECTOR
SYSVEC(CALL_FUNCTION_SINGLE_VECTOR, call_function_single),
DECLARE_IDTENTRY_SYSVEC(CALL_FUNCTION_SINGLE_VECTOR, sysvec_call_function_single);
__apic_send_IPI(cpu, CALL_FUNCTION_SINGLE_VECTOR);
INTG(CALL_FUNCTION_SINGLE_VECTOR, asm_sysvec_call_function_single),
trace_call_function_single_entry(CALL_FUNCTION_SINGLE_VECTOR);
trace_call_function_single_exit(CALL_FUNCTION_SINGLE_VECTOR);
case CALL_FUNCTION_SINGLE_VECTOR: