994 char *__dfsw_ctime_r(const time_t *timep, char *buf, dfsan_label timep_label,  in __dfsw_ctime_r()  argument
996   char *ret = ctime_r(timep, buf);  in __dfsw_ctime_r()
998     dfsan_set_label(dfsan_read_label(timep, sizeof(time_t)), buf,  in __dfsw_ctime_r()
1008 char *__dfso_ctime_r(const time_t *timep, char *buf, dfsan_label timep_label,  in __dfso_ctime_r()  argument
1012   char *ret = ctime_r(timep, buf);  in __dfso_ctime_r()
1015         dfsan_read_label(timep, sizeof(time_t)),  in __dfso_ctime_r()
1016         dfsan_read_origin_of_first_taint(timep, sizeof(time_t)), buf,  in __dfso_ctime_r()
1377 struct tm *__dfsw_localtime_r(const time_t *timep, struct tm *result,  in __dfsw_localtime_r()  argument
1380   struct tm *ret = localtime_r(timep, result);  in __dfsw_localtime_r()
1382     dfsan_set_label(dfsan_read_label(timep, sizeof(time_t)), result,  in __dfsw_localtime_r()
1392 struct tm *__dfso_localtime_r(const time_t *timep, struct tm *result,  in __dfso_localtime_r()  argument
1397   struct tm *ret = localtime_r(timep, result);  in __dfso_localtime_r()
1400         dfsan_read_label(timep, sizeof(time_t)),  in __dfso_localtime_r()
1401         dfsan_read_origin_of_first_taint(timep, sizeof(time_t)), result,  in __dfso_localtime_r()