void cpu_time_8 (GFC_REAL_8 *time) { long sec, usec; __cpu_time_1 (&sec, &usec); *time = sec + usec * (GFC_REAL_8)1.e-6; }
void cpu_time_16 (GFC_REAL_16 *time) { long sec, usec; __cpu_time_1 (&sec, &usec); *time = sec + usec * GFC_REAL_16_LITERAL(1.e-6); }