Searched refs:vcpu_set_guest_msr (Results 1 – 7 of 7) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | nested.c | 92 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_BASIC, val64.full); in init_vmx_msrs()
109 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_MISC, val64.full); in init_vmx_msrs()
124 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_PINBASED_CTLS, msr_value); in init_vmx_msrs()
158 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_EXIT_CTLS, msr_value); in init_vmx_msrs()
167 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_ENTRY_CTLS, msr_value); in init_vmx_msrs()
177 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_EPT_VPID_CAP, msr_value); in init_vmx_msrs()
181 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_CR0_FIXED0, msr_value); in init_vmx_msrs()
184 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_CR0_FIXED1, msr_value); in init_vmx_msrs()
187 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_CR4_FIXED0, msr_value); in init_vmx_msrs()
190 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_CR4_FIXED1, msr_value); in init_vmx_msrs()
[all …]
|
| A D | vmsr.c | 433 vcpu_set_guest_msr(vcpu, MSR_IA32_FEATURE_CONTROL, val64); in init_emulated_msrs()
584 vcpu_set_guest_msr(vcpu, MSR_IA32_PAT, value); in write_pat_msr()
912 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_DEADLINE, 0UL); in set_tsc_msr_interception()
918 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_DEADLINE, msr_read(MSR_IA32_TSC_DEADLINE)); in set_tsc_msr_interception()
949 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_ADJUST, tsc_adjust + tsc_offset_delta); in set_guest_tsc()
1001 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_ADJUST, tsc_adjust); in set_guest_tsc_adjust()
1030 vcpu_set_guest_msr(vcpu, MSR_IA32_MISC_ENABLE, effective_guest_msr); in set_guest_ia32_misc_enalbe()
1171 vcpu_set_guest_msr(vcpu, MSR_IA32_PERF_CTL, v); in wrmsr_vmexit_handler()
1260 vcpu_set_guest_msr(vcpu, MSR_IA32_XSS, v); in wrmsr_vmexit_handler()
1311 vcpu_set_guest_msr(vcpu, msr, v); in wrmsr_vmexit_handler()
[all …]
|
| A D | vcat.c | 280 vcpu_set_guest_msr(tmp_vcpu, vmsr, val); in propagate_vcbm()
411 vcpu_set_guest_msr(vcpu, MSR_IA32_PQR_ASSOC, val); in write_vclosid()
|
| A D | vmcs.c | 56 vcpu_set_guest_msr(vcpu, MSR_IA32_MISC_ENABLE, in init_guest_vmx()
59 vcpu_set_guest_msr(vcpu, MSR_IA32_PERF_CTL, msr_read(MSR_IA32_PERF_CTL)); in init_guest_vmx()
70 vcpu_set_guest_msr(vcpu, MSR_IA32_PAT, PAT_POWER_ON_VALUE); in init_guest_vmx()
|
| A D | vlapic.c | 377 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_DEADLINE, 0UL); in vlapic_get_tsc_deadline_msr()
399 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_DEADLINE, val); in vlapic_set_tsc_deadline_msr()
416 vcpu_set_guest_msr(vcpu, MSR_IA32_TSC_DEADLINE, val); in vlapic_set_tsc_deadline_msr()
|
| A D | vcpu.c | 147 void vcpu_set_guest_msr(struct acrn_vcpu *vcpu, uint32_t msr, uint64_t val) in vcpu_set_guest_msr() function
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vcpu.h | 511 void vcpu_set_guest_msr(struct acrn_vcpu *vcpu, uint32_t msr, uint64_t val);
|
Completed in 20 milliseconds