Searched refs:MSR_IA32_VMX_TRUE_PINBASED_CTLS (Results 1 – 4 of 4) sorted by relevance
63 vmx_fixed0and1_msr_test(vcpu, MSR_IA32_VMX_TRUE_PINBASED_CTLS); in vmx_save_restore_msrs_test()
87 ctrl_pin_rev.val = rdmsr(basic.ctrl ? MSR_IA32_VMX_TRUE_PINBASED_CTLS in l1_guest_code()
196 vmwrite(PIN_BASED_VM_EXEC_CONTROL, rdmsr(MSR_IA32_VMX_TRUE_PINBASED_CTLS)); in init_vmcs_control_fields()
1197 #define MSR_IA32_VMX_TRUE_PINBASED_CTLS 0x0000048d macro
Completed in 13 milliseconds