Searched refs:p_usertime (Results 1 – 4 of 4) sorted by relevance
46 int get_resource_stats(double* p_usertime, double* p_systime, long* p_maxrss) { in get_resource_stats() argument52 if (p_usertime) { in get_resource_stats()53 *p_usertime = usage.ru_utime.tv_sec + 1e-6 * usage.ru_utime.tv_usec; in get_resource_stats()
76 int get_resource_stats(double* p_usertime, double* p_systime, long* p_maxrss) { in get_resource_stats() argument84 if (p_usertime) { in get_resource_stats()85 *p_usertime = usage.ru_utime.tv_sec + 1e-6 * usage.ru_utime.tv_usec; in get_resource_stats()
13 int get_resource_stats(double* p_usertime, double* p_systime, long* p_maxrss);
18 int get_resource_stats(double* p_usertime, double* p_systime, long* p_maxrss);