Searched refs:vmsr (Results 1 – 3 of 3) sorted by relevance
| /hypervisor/arch/x86/guest/ |
| A D | vcat.c | 185 && (vmsr >= MSR_IA32_L2_MASK_BASE) && (vmsr < (MSR_IA32_L2_MASK_BASE + num_vcbm_msrs))); in is_l2_vcbm_msr()
197 && (vmsr >= MSR_IA32_L3_MASK_BASE) && (vmsr < (MSR_IA32_L3_MASK_BASE + num_vcbm_msrs))); in is_l3_vcbm_msr()
210 if (is_vcat_configured(vm) && (is_l2_vcbm_msr(vm, vmsr) || is_l3_vcbm_msr(vm, vmsr))) { in read_vcbm()
211 *rval = vcpu_get_guest_msr(vcpu, vmsr); in read_vcbm()
318 if (is_l2_vcbm_msr(vm, vmsr)) { in write_vcbm()
321 } else if (is_l3_vcbm_msr(vm, vmsr)) { in write_vcbm()
355 propagate_vcbm(vcpu, vmsr, val); in write_vcbm()
358 vclosid = (uint16_t)(vmsr - msr_base); in write_vcbm()
440 uint32_t vmsr; in init_vcbms() local
454 for (vmsr = msr_base; vmsr < (msr_base + num_vcbm_msrs); vmsr++) { in init_vcbms()
[all …]
|
| /hypervisor/include/arch/x86/asm/guest/ |
| A D | vcat.h | 18 int32_t read_vcbm(const struct acrn_vcpu *vcpu, uint32_t vmsr, uint64_t *rval);
19 int32_t write_vcbm(struct acrn_vcpu *vcpu, uint32_t vmsr, uint64_t val);
|
| /hypervisor/ |
| A D | Makefile | 276 VP_BASE_C_SRCS += arch/x86/guest/vmsr.c
|
Completed in 5 milliseconds