APIC_OFFSET_LINT1_LVT
case APIC_OFFSET_LINT1_LVT:
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_LINT1_LVT);