TIMEFORMAT - Illumos

2521

TIMEFORMAT "/" TIMEFORMAT "/"

2522

TIMEFORMAT "/" TIMEFORMAT "\n",

467

Printf("time=" TIMEFORMAT " ms", triptime/1000.0);

663

Printf("time=" TIMEFORMAT " ms", triptime/1000.0);

503

Printf("time=" TIMEFORMAT " ms", triptime/1000.0);

793

Printf("time=" TIMEFORMAT " ms", triptime/1000.0);