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