Searched refs:vclosid (Results 1 – 1 of 1) sorted by relevance
73 static uint16_t vclosid_to_pclosid(const struct acrn_vm *vm, uint16_t vclosid) in vclosid_to_pclosid() argument75 ASSERT(vclosid < vcat_get_num_vclosids(vm), "vclosid is out of range!"); in vclosid_to_pclosid()85 return get_vm_config(vm->vm_id)->pclosids[vclosid]; in vclosid_to_pclosid()342 uint16_t vclosid; in write_vcbm() local358 vclosid = (uint16_t)(vmsr - msr_base); in write_vcbm()359 pmsr = msr_base + (uint32_t)vclosid_to_pclosid(vm, vclosid); in write_vcbm()399 uint32_t vclosid = (uint32_t)((val >> 32U) & 0xFFFFFFFFUL); in write_vclosid() local407 if (((val & 0xFFFFFFFFUL) == 0UL) && (vclosid < (uint32_t)vcat_get_num_vclosids(vcpu->vm))) { in write_vclosid()413 pclosid = vclosid_to_pclosid(vcpu->vm, (uint16_t)vclosid); in write_vclosid()
Completed in 2 milliseconds