Searched refs:value32 (Results 1 – 1 of 1) sorted by relevance
264 uint32_t value32; in init_exec_ctrl() local314 value32 |= VMX_PROCBASED_CTLS_RDPMC; in init_exec_ctrl()418 value32 = (1U << IDT_MC); in init_exec_ctrl()420 value32 = (value32 | (1U << IDT_AC)); in init_exec_ctrl()423 value32 = (value32 | (1U << IDT_GP)); in init_exec_ctrl()490 uint32_t value32; in init_entry_ctrl() local496 value32 = VMX_ENTRY_CTLS_LOAD_PAT; in init_entry_ctrl()502 value32 = check_vmx_ctrl(MSR_IA32_VMX_ENTRY_CTLS, value32); in init_entry_ctrl()526 uint32_t value32; in init_exit_ctrl() local601 uint32_t value32; in switch_apicv_mode_x2apic() local[all …]
Completed in 3 milliseconds