393     int cache_idx;  in vcpu_mem_access()  local
403     cache_idx = vcpu_index % cores;  in vcpu_mem_access()
405     g_mutex_lock(&l1_dcache_locks[cache_idx]);  in vcpu_mem_access()
406     hit_in_l1 = access_cache(l1_dcaches[cache_idx], effective_addr);  in vcpu_mem_access()
410         l1_dcaches[cache_idx]->misses++;  in vcpu_mem_access()
412     l1_dcaches[cache_idx]->accesses++;  in vcpu_mem_access()
413     g_mutex_unlock(&l1_dcache_locks[cache_idx]);  in vcpu_mem_access()
420     g_mutex_lock(&l2_ucache_locks[cache_idx]);  in vcpu_mem_access()
421     if (!access_cache(l2_ucaches[cache_idx], effective_addr)) {  in vcpu_mem_access()
424         l2_ucaches[cache_idx]->misses++;  in vcpu_mem_access()
426     l2_ucaches[cache_idx]->accesses++;  in vcpu_mem_access()
427     g_mutex_unlock(&l2_ucache_locks[cache_idx]);  in vcpu_mem_access()
434     int cache_idx;  in vcpu_insn_exec()  local
439     cache_idx = vcpu_index % cores;  in vcpu_insn_exec()
440     g_mutex_lock(&l1_icache_locks[cache_idx]);  in vcpu_insn_exec()
441     hit_in_l1 = access_cache(l1_icaches[cache_idx], insn_addr);  in vcpu_insn_exec()
445         l1_icaches[cache_idx]->misses++;  in vcpu_insn_exec()
447     l1_icaches[cache_idx]->accesses++;  in vcpu_insn_exec()
448     g_mutex_unlock(&l1_icache_locks[cache_idx]);  in vcpu_insn_exec()
455     g_mutex_lock(&l2_ucache_locks[cache_idx]);  in vcpu_insn_exec()
456     if (!access_cache(l2_ucaches[cache_idx], insn_addr)) {  in vcpu_insn_exec()
459         l2_ucaches[cache_idx]->misses++;  in vcpu_insn_exec()
461     l2_ucaches[cache_idx]->accesses++;  in vcpu_insn_exec()
462     g_mutex_unlock(&l2_ucache_locks[cache_idx]);  in vcpu_insn_exec()