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