Searched defs:ctls1 (Results 1 – 1 of 1) sorted by relevance
1007 uint64_t ctls1; in vmx_event_waitexit_enable() local1027 uint64_t ctls1; in vmx_event_waitexit_disable() local1575 uint64_t efer, ctls1; in vmx_inkernel_handle_cr0() local2549 uint64_t ctls1, intstate; in vmx_vcpu_setstate() local