X86_PLATFORM_IPI_VECTOR
SYSVEC(X86_PLATFORM_IPI_VECTOR, x86_platform_ipi),
__apic_send_IPI(cpu, X86_PLATFORM_IPI_VECTOR);
DECLARE_IDTENTRY_SYSVEC(X86_PLATFORM_IPI_VECTOR, sysvec_x86_platform_ipi);
INTG(X86_PLATFORM_IPI_VECTOR, asm_sysvec_x86_platform_ipi),
trace_x86_platform_ipi_entry(X86_PLATFORM_IPI_VECTOR);
trace_x86_platform_ipi_exit(X86_PLATFORM_IPI_VECTOR);
val = (X86_PLATFORM_IPI_VECTOR << UVH_RTC1_INT_CONFIG_VECTOR_SHFT) |
(X86_PLATFORM_IPI_VECTOR << UVH_IPI_INT_VECTOR_SHFT);
(3 << 22) | (X86_PLATFORM_IPI_VECTOR << 14) |