HYPRE_Real time_get_cpu_seconds_(void) { return(time_getCPUSeconds()); }
double time_get_cpu_seconds_(void) { return(time_getCPUSeconds()); }