Home
last modified time | relevance | path

Searched refs:vcat_get_num_vclosids (Results 1 – 3 of 3) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvcat.c49 uint16_t vcat_get_num_vclosids(const struct acrn_vm *vm) in vcat_get_num_vclosids() function
75 ASSERT(vclosid < vcat_get_num_vclosids(vm), "vclosid is out of range!"); in vclosid_to_pclosid()
182 uint16_t num_vcbm_msrs = vcat_get_num_vclosids(vm); in is_l2_vcbm_msr()
194 uint16_t num_vcbm_msrs = vcat_get_num_vclosids(vm); in is_l3_vcbm_msr()
407 if (((val & 0xFFFFFFFFUL) == 0UL) && (vclosid < (uint32_t)vcat_get_num_vclosids(vcpu->vm))) { in write_vclosid()
442 uint16_t num_vcbm_msrs = vcat_get_num_vclosids(vcpu->vm); in init_vcbms()
A Dvcpuid.c358 uint16_t num_vclosids = vcat_get_num_vclosids(vm); in set_vcpuid_vcat_10h()
/hypervisor/include/arch/x86/asm/guest/
A Dvcat.h16 uint16_t vcat_get_num_vclosids(const struct acrn_vm *vm);

Completed in 9 milliseconds