Symbol: pi_find_highest_vector
arch/x86/kvm/vmx/nested.c
4024
max_irr = pi_find_highest_vector(vmx->nested.pi_desc);
arch/x86/kvm/vmx/nested.c
4191
max_irr = pi_find_highest_vector(vmx->nested.pi_desc);