Searched refs:tmp_l2_id (Results 1 – 1 of 1) sorted by relevance
274 uint32_t tmp_l2_id, tmp_l3_id; in propagate_vcbm() local276 get_cache_id(tmp_vcpu, &tmp_l2_id, &tmp_l3_id); in propagate_vcbm()278 if ((is_l2_vcbm_msr(vm, vmsr) && (l2_id == tmp_l2_id)) in propagate_vcbm()
Completed in 3 milliseconds