Searched refs:insn_addr (Results 1 – 2 of 2) sorted by relevance
432 uint64_t insn_addr; in vcpu_insn_exec() local437 insn_addr = ((InsnData *) userdata)->addr; in vcpu_insn_exec()441 hit_in_l1 = access_cache(l1_icaches[cache_idx], insn_addr); in vcpu_insn_exec()456 if (!access_cache(l2_ucaches[cache_idx], insn_addr)) { in vcpu_insn_exec()
59 uint32_t insn_addr;