88
88
int init_time = ctx->time[0]+ctx->time[1]+ctx->time[2]+ctx->time[3]+ctx->time[4]+ctx->time[12]+ctx->time[13];
89
89
int load_time = ctx->time[14] + ctx->time[15];
90
90
int process_time = ctx->time[5];
94
94
print_timing("Overall", init_time + load_time + process_time + ctx->time[16]);
95
95
print_timing("Initialization", init_time);
96
96
print_timing(" Hardware Detection", ctx->time[0]);