Searched defs:ctls1 (Results 1 – 1 of 1) sorted by relevance
1018 uint64_t ctls1; in vmx_event_waitexit_enable() local1038 uint64_t ctls1; in vmx_event_waitexit_disable() local1610 uint64_t efer, ctls1; in vmx_inkernel_handle_cr0() local2594 uint64_t ctls1, intstate; in vmx_vcpu_setstate() local