LAPIC_IPI_VECTOR
ret = x86_ipi(LAPIC_IPI_VECTOR, ci->ci_cpuid, LAPIC_DLMODE_FIXED);
x86_ipi(LAPIC_IPI_VECTOR, LAPIC_DEST_ALLEXCL, LAPIC_DLMODE_FIXED);
idt_vec_reserve(iv, LAPIC_IPI_VECTOR);
idt_vec_set(iv, LAPIC_IPI_VECTOR,