APIC_OFFSET_LINT0_LVT
case APIC_OFFSET_LINT0_LVT:
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_LINT0_LVT);