Searched defs:intstate (Results 1 – 1 of 1) sorted by relevance
1185 uint64_t rip, inslen, intstate, rflags; in vmx_inkernel_advance() local2247 uint64_t intstate; in vmx_vcpu_run() local2594 uint64_t ctls1, intstate; in vmx_vcpu_setstate() local2764 uint64_t intstate, flags; in vmx_vcpu_getstate() local