Searched defs:pirval (Results 1 – 1 of 1) sorted by relevance
3720 uint64_t pending, pirval; in vmx_pending_intr() local3917 uint64_t val, pirval; in vmx_inject_pir() local