APIC_LVT_MASKED
x86_write_msr(IA32_MSR_APIC_LVT_LINT0, APIC_LVT_MASKED);
x86_write_msr(IA32_MSR_APIC_LVT_LINT1, APIC_LVT_MASKED);
apic_write(APIC_LVT_LINT0, APIC_LVT_MASKED);
apic_write(APIC_LVT_LINT1, APIC_LVT_MASKED);
apic_write(APIC_LINT0, config | APIC_LVT_MASKED);
apic_write(APIC_LINT1, config | APIC_LVT_MASKED);
uint32 config = apic_lvt_timer() | APIC_LVT_MASKED;
config |= APIC_LVT_MASKED;
config |= 0xfb | APIC_LVT_MASKED; // vector 0xfb, timer masked
uint32 config = apic_lvt_timer() | APIC_LVT_MASKED; // mask the timer
config &= ~APIC_LVT_MASKED; // unmask the timer