3920 	int max_irr;  in vmx_complete_nested_posted_interrupt()  local
3935 	max_irr = pi_find_highest_vector(vmx->nested.pi_desc);  in vmx_complete_nested_posted_interrupt()
3936 	if (max_irr > 0) {  in vmx_complete_nested_posted_interrupt()
3942 			vapic_page, &max_irr);  in vmx_complete_nested_posted_interrupt()
3944 		if ((u8)max_irr > ((u8)status & 0xff)) {  in vmx_complete_nested_posted_interrupt()
3946 			status |= (u8)max_irr;  in vmx_complete_nested_posted_interrupt()
4071 	int max_irr, vppr;  in vmx_has_nested_events()  local
4095 	max_irr = vmx_get_rvi();  in vmx_has_nested_events()
4096 	if ((max_irr & 0xf0) > (vppr & 0xf0))  in vmx_has_nested_events()
4101 		max_irr = pi_find_highest_vector(vmx->nested.pi_desc);  in vmx_has_nested_events()
4102 		if (max_irr > 0 && (max_irr & 0xf0) > (vppr & 0xf0))  in vmx_has_nested_events()