Searched refs:pirvec (Results 1 – 1 of 1) sorted by relevance
207 static int pirvec = -1; variable603 pirvec = psm_get_pir_ipivect(); in vmx_init()875 vmcs_write(VMCS_PIR_VECTOR, pirvec); in vmx_vminit()