Lines Matching defs:systemTime
1199 public int systemTime;
1228 userTime = systemTime = 0;
1236 out.writeInt(systemTime);
1257 systemTime = in.readInt();
5111 long systemTime;
5117 systemTime = ps.getSystemTime(which);
5125 if (userTime != 0 || systemTime != 0 || foregroundTime != 0 || starts != 0
5132 formatTimeMs(sb, systemTime); sb.append("krn ; ");
5518 pw.print(rec.stepDetails.systemTime);
5572 pw.print(rec.stepDetails.systemTime);