Searched defs:proc_ctls (Results 1 – 2 of 2) sorted by relevance
88 uint32_t proc_ctls; member
703 uint32_t proc_ctls, proc2_ctls, pin_ctls; in vmx_vminit() local3627 uint32_t proc_ctls; in vmx_enable_x2apic_mode_ts() local