Searched refs:vmx_set_rvi (Results 1 – 1 of 1) sorted by relevance
7121 static void vmx_set_rvi(int vector) in vmx_set_rvi() function7177 vmx_set_rvi(max_irr); in vmx_sync_pir_to_irr()