Home | History | Annotate | Download | only in exp-dhat

Lines Matching full:counter_addr

788    IRExpr* counter_addr = mkIRExpr_HWord( (HWord)&g_guest_instrs_executed );
790 IRStmt* st1 = assign(t1, IRExpr_Load(END, Ity_I64, counter_addr));
792 IRStmt* st3 = IRStmt_Store(END, counter_addr, mkexpr(t2));