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

Lines Matching refs:mkIRExpr_HWord

788    IRExpr* counter_addr = mkIRExpr_HWord( (HWord)&g_guest_instrs_executed );
823    argv = mkIRExprVec_2( addr, mkIRExpr_HWord(szB) );