Lines Matching refs:mkIRExprCCall
1515 = mkIRExprCCall( in mk_amd64g_calculate_rflags_all()
1539 = mkIRExprCCall( in mk_amd64g_calculate_condition()
1561 = mkIRExprCCall( in mk_amd64g_calculate_rflags_c()
3319 mkIRExprCCall( in dis_Grp2()
3334 mkIRExprCCall( in dis_Grp2()
5133 assign( t64, mkIRExprCCall( in dis_FPU()
5209 mkIRExprCCall( in dis_FPU()
5268 put_C3210(mkIRExprCCall( in dis_FPU()
5377 mkIRExprCCall( in dis_FPU()
5385 mkIRExprCCall( in dis_FPU()
6633 mkIRExprCCall( in dis_MMXop_regmem_to_reg()
9740 assign( t64, mkIRExprCCall( in disInstr_AMD64_WRK()
10251 assign(t1, mkIRExprCCall( in disInstr_AMD64_WRK()
10479 mkIRExprCCall( in disInstr_AMD64_WRK()
12125 assign( dHi, mkIRExprCCall( in disInstr_AMD64_WRK()
12131 assign( dLo, mkIRExprCCall( in disInstr_AMD64_WRK()
12189 assign(t5, mkIRExprCCall( in disInstr_AMD64_WRK()
12339 assign( dHi, mkIRExprCCall( in disInstr_AMD64_WRK()
12345 assign( dLo, mkIRExprCCall( in disInstr_AMD64_WRK()
14221 mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul", in disInstr_AMD64_WRK()
14225 mkIRExprCCall(Ity_I64,0, "amd64g_calculate_pclmul", in disInstr_AMD64_WRK()
16060 mkIRExprCCall(Ity_I64, 0/*regparm*/, nm, fn, in disInstr_AMD64_WRK()