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