Searched refs:apic_get_highest_priority_irr (Results 1 – 3 of 3) sorted by relevance
20 int apic_get_highest_priority_irr(DeviceState *dev);
86 int irr = apic_get_highest_priority_irr(x86_cpu->apic_state); in vmx_update_tpr()
391 int apic_get_highest_priority_irr(DeviceState *dev) in apic_get_highest_priority_irr() function