6140 	int max_irr;  in vmx_complete_nested_posted_interrupt()  local
6151 	max_irr = find_last_bit((unsigned long *)vmx->nested.pi_desc->pir, 256);  in vmx_complete_nested_posted_interrupt()
6152 	if (max_irr != 256) {  in vmx_complete_nested_posted_interrupt()
6155 			vapic_page, &max_irr);  in vmx_complete_nested_posted_interrupt()
6159 		if ((u8)max_irr > ((u8)status & 0xff)) {  in vmx_complete_nested_posted_interrupt()
6161 			status |= (u8)max_irr;  in vmx_complete_nested_posted_interrupt()
10309 static void vmx_hwapic_irr_update(struct kvm_vcpu *vcpu, int max_irr)  in vmx_hwapic_irr_update()  argument
10320 		vmx_set_rvi(max_irr);  in vmx_hwapic_irr_update()
10326 	int max_irr;  in vmx_sync_pir_to_irr()  local
10338 			kvm_apic_update_irr(vcpu, vmx->pi_desc.pir, &max_irr);  in vmx_sync_pir_to_irr()
10355 		max_irr = kvm_lapic_find_highest_irr(vcpu);  in vmx_sync_pir_to_irr()
10357 	vmx_hwapic_irr_update(vcpu, max_irr);  in vmx_sync_pir_to_irr()
10358 	return max_irr;  in vmx_sync_pir_to_irr()