Searched refs:vmx_set_rvi (Results 1 – 1 of 1) sorted by relevance
8252 static void vmx_set_rvi(int vector) in vmx_set_rvi() function8272 vmx_set_rvi(max_irr); in vmx_hwapic_irr_update()