Lines Matching refs:TCG_PRIlx
915 fprintf(outfile, ",$0x%" TCG_PRIlx,998 fprintf(outfile, ",$0x%" TCG_PRIlx, args[k++]);1009 fprintf(outfile, "$0x%" TCG_PRIlx, arg);1395 printf("$0x%" TCG_PRIlx, ts->val);