Searched refs:MSR_IA32_VMX_TRUE_PINBASED_CTLS (Results 1 – 3 of 3) sorted by relevance
89 ctrl_pin_rev.val = rdmsr(basic.ctrl ? MSR_IA32_VMX_TRUE_PINBASED_CTLS in l1_guest_code()
944 #define MSR_IA32_VMX_TRUE_PINBASED_CTLS 0x0000048d macro
213 vmwrite(PIN_BASED_VM_EXEC_CONTROL, rdmsr(MSR_IA32_VMX_TRUE_PINBASED_CTLS)); in init_vmcs_control_fields()