apic_find_highest_vector
vec = apic_find_highest_vector(get_reg_bitmap(cpu, APIC_ISR));
return apic_find_highest_vector(apic->regs + APIC_IRR);
return apic_find_highest_vector(apic->regs + APIC_ISR);