Searched defs:exitintinfo (Results 1 – 3 of 3) sorted by relevance
284 uint64_t exitintinfo; /* 0x88, Interrupt exit value. */ member
2389 uint64_t exitintinfo, qual, gpa; in vmx_exit_process() local
112 uint64_t exitintinfo; /* (i) events pending at VM exit */ member