APIC_LVT_MASKED
u32 masked = guest_lvtpc & APIC_LVT_MASKED;
apic_write(APIC_LVTERR, v | APIC_LVT_MASKED);
apic_write(APIC_LVTT, v | APIC_LVT_MASKED);
apic_write(APIC_LVT0, v | APIC_LVT_MASKED);
apic_write(APIC_LVT1, v | APIC_LVT_MASKED);
apic_write(APIC_LVTPC, v | APIC_LVT_MASKED);
apic_write(APIC_LVTTHMR, v | APIC_LVT_MASKED);
if (!(v & APIC_LVT_MASKED))
apic_write(APIC_LVTCMCI, v | APIC_LVT_MASKED);
apic_write(APIC_LVTT, APIC_LVT_MASKED);
apic_write(APIC_LVT0, APIC_LVT_MASKED);
apic_write(APIC_LVT1, APIC_LVT_MASKED);
apic_write(APIC_LVTERR, APIC_LVT_MASKED);
apic_write(APIC_LVTPC, APIC_LVT_MASKED);
value |= APIC_LVT_MASKED;
value = apic_read(APIC_LVT0) & APIC_LVT_MASKED;
value = APIC_DM_EXTINT | APIC_LVT_MASKED;
value = APIC_DM_NMI | APIC_LVT_MASKED;
value |= (APIC_LVT_MASKED | LOCAL_TIMER_VECTOR);
APIC_LVT_LEVEL_TRIGGER | APIC_LVT_MASKED);
apic_write(APIC_LVT0, APIC_LVT_MASKED);
APIC_LVT_LEVEL_TRIGGER | APIC_LVT_MASKED);
apic_write(APIC_LVTERR, ERROR_APIC_VECTOR | APIC_LVT_MASKED);
lvtt_value |= APIC_LVT_MASKED;
v |= (APIC_LVT_MASKED | LOCAL_TIMER_VECTOR);
apic_write(APIC_LVT0, v | APIC_LVT_MASKED);
apic_write(APIC_LVT0, v & ~APIC_LVT_MASKED);
apic_write(APIC_LVT0, APIC_LVT_MASKED | APIC_DM_EXTINT);
apic_write(APIC_LVT0, APIC_LVT_MASKED | APIC_DM_FIXED | cfg->vector);
(APIC_LVT_MASKED | APIC_SEND_PENDING | APIC_VECTOR_MASK)
kvm_lapic_get_reg(apic, APIC_LVTx(i)) | APIC_LVT_MASKED);
val |= APIC_LVT_MASKED;
val |= APIC_LVT_MASKED;
kvm_lapic_set_reg(apic, APIC_LVTx(i), APIC_LVT_MASKED);
if (kvm_apic_hw_enabled(apic) && !(reg & APIC_LVT_MASKED)) {
kvm_lapic_set_reg(apic, APIC_LVTPC, reg | APIC_LVT_MASKED);
if ((lvt0 & APIC_LVT_MASKED) == 0 &&
return !(kvm_lapic_get_reg(apic, lvt_type) & APIC_LVT_MASKED);
return (lvt_val & (APIC_MODE_MASK | APIC_LVT_MASKED)) == APIC_DM_NMI;
kvm_lapic_set_reg(apic, APIC_LVTx(i), APIC_LVT_MASKED);
value &= ~APIC_LVT_MASKED;
apic_write(APIC_LVTTHMR, l & ~APIC_LVT_MASKED);
apic_write(APIC_LVTTHMR, l | APIC_LVT_MASKED);
h = THERMAL_APIC_VECTOR | APIC_DM_FIXED | APIC_LVT_MASKED;
apic_write_reg(APIC_LVTT, APIC_LVT_TIMER_ONESHOT | APIC_LVT_MASKED);