Searched refs:get_cache_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() function266 get_cache_id(vcpu, &l2_id, &l3_id); in propagate_vcbm()276 get_cache_id(tmp_vcpu, &tmp_l2_id, &tmp_l3_id); in propagate_vcbm()
Completed in 3 milliseconds