x86/object/vcpu.c

246     uint32_t entry_ctls;
251         entry_ctls = IA32_VMX_TRUE_ENTRY_CTLS_MSR;
256         entry_ctls = IA32_VMX_ENTRY_CTLS_MSR;
266     entry_control_high = x86_rdmsr_low(entry_ctls);
267     entry_control_low = x86_rdmsr_high(entry_ctls);
338     uint32_t entry_ctls;
343         entry_ctls = IA32_VMX_TRUE_ENTRY_CTLS_MSR;
348         entry_ctls = IA32_VMX_ENTRY_CTLS_MSR;
358     uint32_t local_entry_control_high = x86_rdmsr_low(entry_ctls);
359     uint32_t local_entry_control_low = x86_rdmsr_high(entry_ctls);