LAPIC_DLMODE_FIXED
LAPIC_DLMODE_FIXED);
x86_ipi(ddb_vec, LAPIC_DEST_ALLEXCL, LAPIC_DLMODE_FIXED);
| LAPIC_TRIGMODE_EDGE | LAPIC_DLMODE_FIXED;
| LAPIC_TRIGMODE_EDGE | LAPIC_DLMODE_FIXED;
ret = x86_ipi(LAPIC_IPI_VECTOR, ci->ci_cpuid, LAPIC_DLMODE_FIXED);
x86_ipi(LAPIC_IPI_VECTOR, LAPIC_DEST_ALLEXCL, LAPIC_DLMODE_FIXED);
lci->ci_cpuid, LAPIC_DLMODE_FIXED);
LAPIC_DLMODE_FIXED);