Lines Matching refs:IRExpr_BBPTR
4033 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
4129 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
4845 mkIRExprVec_1(IRExpr_BBPTR())
5044 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
5103 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
8331 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
8405 mkIRExprVec_2( IRExpr_BBPTR(), mkexpr(addr) )
14863 fName, fAddr, mkIRExprVec_1(IRExpr_BBPTR()) );