HYPERV_STIMER0_VECTOR
apic_update_vector(cpu, HYPERV_STIMER0_VECTOR, true);
apic_update_vector(cpu, HYPERV_STIMER0_VECTOR, false);
DECLARE_IDTENTRY_SYSVEC(HYPERV_STIMER0_VECTOR, sysvec_hyperv_stimer0);
add_interrupt_randomness(HYPERV_STIMER0_VECTOR);
sysvec_install(HYPERV_STIMER0_VECTOR, sysvec_hyperv_stimer0);
timer_cfg.apic_vector = HYPERV_STIMER0_VECTOR;
ret = acpi_register_gsi(NULL, HYPERV_STIMER0_VECTOR,