APIC_DM_NMI
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
apic_write(APIC_LVTPC, APIC_DM_NMI);
value = APIC_DM_NMI;
value = APIC_DM_NMI;
value = APIC_DM_NMI | APIC_LVT_MASKED;
dmode = (vector == NMI_VECTOR) ? APIC_DM_NMI : APIC_DM_FIXED;
icr |= APIC_DM_NMI;
icr_low |= APIC_DM_NMI;
nmi = ((icr_low & APIC_DM_FIXED_MASK) == APIC_DM_NMI);
icr = APIC_DM_NMI;
case APIC_DM_NMI:
return (lvt_val & (APIC_MODE_MASK | APIC_LVT_MASKED)) == APIC_DM_NMI;
value = apic_read(APIC_LVT1) | APIC_DM_NMI;
__apic_send_IPI_mask(uv_nmi_cpu_mask, APIC_DM_NMI);
case APIC_DM_NMI: /* Some use that instead of NMI_VECTOR */
x2apic_write_reg(APIC_ICR, APIC_DEST_SELF | APIC_INT_ASSERT | APIC_DM_NMI);