878 char *__dfsw_ctime_r(const time_t *timep, char *buf, dfsan_label timep_label,  in __dfsw_ctime_r()  argument
880   char *ret = ctime_r(timep, buf);  in __dfsw_ctime_r()
882     dfsan_set_label(dfsan_read_label(timep, sizeof(time_t)), buf,  in __dfsw_ctime_r()
892 char *__dfso_ctime_r(const time_t *timep, char *buf, dfsan_label timep_label,  in __dfso_ctime_r()  argument
896   char *ret = ctime_r(timep, buf);  in __dfso_ctime_r()
899         dfsan_read_label(timep, sizeof(time_t)),  in __dfso_ctime_r()
900         dfsan_read_origin_of_first_taint(timep, sizeof(time_t)), buf,  in __dfso_ctime_r()
1349 struct tm *__dfsw_localtime_r(const time_t *timep, struct tm *result,  in __dfsw_localtime_r()  argument
1352   struct tm *ret = localtime_r(timep, result);  in __dfsw_localtime_r()
1354     dfsan_set_label(dfsan_read_label(timep, sizeof(time_t)), result,  in __dfsw_localtime_r()
1364 struct tm *__dfso_localtime_r(const time_t *timep, struct tm *result,  in __dfso_localtime_r()  argument
1369   struct tm *ret = localtime_r(timep, result);  in __dfso_localtime_r()
1372         dfsan_read_label(timep, sizeof(time_t)),  in __dfso_localtime_r()
1373         dfsan_read_origin_of_first_taint(timep, sizeof(time_t)), result,  in __dfso_localtime_r()