Lines Matching full:ppc64
2283 vpanic("iselIntExpr_RH6u: unknown ppc64 RI tag");
2555 vex_printf("iselInt128Expr(ppc64): No such tag(%u)\n", e->tag);
2557 vpanic("iselInt128Expr(ppc64)");
4072 vpanic("iselStmt(ppc64): Ist_Exit: dst is not a 64-bit value");
4147 /* Are we being ppc32 or ppc64? */
