apic_find_highest_isr
int vector = apic_find_highest_isr(apic);
kvm_x86_call(hwapic_isr_update)(vcpu, apic_find_highest_isr(apic));
max_isr = apic_find_highest_isr(apic);
kvm_x86_call(hwapic_isr_update)(apic->vcpu, apic_find_highest_isr(apic));
isr = apic_find_highest_isr(apic);