Searched defs:rvi (Results 1 – 1 of 1) sorted by relevance
3814 uint8_t ppr, vpr, rvi; in vmx_pending_intr() local4005 int rvi, pirbase = -1; in vmx_inject_pir() local