vlapic_lvt_write_handler
vlapic_lvt_write_handler(vlapic, offset);
vlapic_lvt_write_handler(vlapic, offset);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_CMCI_LVT);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_TIMER_LVT);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_THERM_LVT);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_PERF_LVT);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_LINT0_LVT);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_LINT1_LVT);
vlapic_lvt_write_handler(vlapic, APIC_OFFSET_ERROR_LVT);
void vlapic_lvt_write_handler(struct vlapic *vlapic, uint32_t offset);