871    return IRExpr_Const(IRConst_U64(i));  in mkU64()
1362                        IRConst_U64(guest_PC_curr_instr + 8), OFFB_PC));  in dis_branch_likely()
1402                          IRConst_U64(guest_PC_curr_instr + 4 + branch_offset),  in dis_branch()
1523    return (ty == Ity_I64 ? IRConst_U64(imm64) : IRConst_U32((UInt) imm64));  in mkSzConst()
2185                      IRConst_U64( guest_PC_curr_instr ),  in jump_back()
15700                           mode64 ? IRConst_U64(guest_PC_curr_instr + 4) :  in disInstr_MIPS_WRK()
15893                           mode64 ? IRConst_U64(guest_PC_curr_instr + 4) :  in disInstr_MIPS_WRK()
16142                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16150                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16158                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16197                                   IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16205                                   IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16213                                   IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16249                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16254                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16259                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16286                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16291                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16296                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16323                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16328                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16333                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16360                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16365                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16370                                 IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16448                           IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16502                           IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16620                              IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16641                              IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16660                              IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16677                              IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16694                                IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16711                                IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()
16840                        mode64 ? IRConst_U64(guest_PC_curr_instr + 4) :  in disInstr_MIPS_WRK()
16936                        IRConst_U64(guest_PC_curr_instr + 4),  in disInstr_MIPS_WRK()