Searched refs:l2_id (Results 1 – 1 of 1) sorted by relevance
237 static void get_cache_id(struct acrn_vcpu *vcpu, uint32_t *l2_id, uint32_t *l3_id) in get_cache_id() argument251 *l2_id = apicid >> l2_shift; in get_cache_id()263 uint32_t l2_id, l3_id; in propagate_vcbm() local266 get_cache_id(vcpu, &l2_id, &l3_id); in propagate_vcbm()278 if ((is_l2_vcbm_msr(vm, vmsr) && (l2_id == tmp_l2_id)) in propagate_vcbm()
Completed in 2 milliseconds