i386_ipi
i386_ipi(MP_TRAMPOLINE / PAGE_SIZE, ci->ci_apicid,
i386_ipi(MP_TRAMPOLINE / PAGE_SIZE, ci->ci_apicid,
i386_ipi(LAPIC_IPI_VECTOR, ci->ci_apicid, LAPIC_DLMODE_FIXED);
i386_ipi(ipi, ci->ci_apicid, LAPIC_DLMODE_FIXED);
i386_ipi(LAPIC_IPI_VECTOR, LAPIC_DEST_ALLEXCL, LAPIC_DLMODE_FIXED);
void i386_ipi(int,int,int);