Searched defs:intstate (Results 1 – 1 of 1) sorted by relevance
1173 uint64_t rip, inslen, intstate, rflags; in vmx_inkernel_advance() local2196 uint64_t intstate; in vmx_vcpu_run() local2549 uint64_t ctls1, intstate; in vmx_vcpu_setstate() local2706 uint64_t intstate, flags; in vmx_vcpu_getstate() local