239 	static char tbuf[40];  in ipmi_sel_timestamp()  local
241 	memset(tbuf, 0, 40);  in ipmi_sel_timestamp()
242 	strftime(tbuf, sizeof(tbuf), "%m/%d/%Y %H:%M:%S", gmtime(&s));  in ipmi_sel_timestamp()
243 	return tbuf;  in ipmi_sel_timestamp()
249 	static char tbuf[11];  in ipmi_sel_timestamp_date()  local
251 	strftime(tbuf, sizeof(tbuf), "%m/%d/%Y", gmtime(&s));  in ipmi_sel_timestamp_date()
252 	return tbuf;  in ipmi_sel_timestamp_date()
258 	static char tbuf[9];  in ipmi_sel_timestamp_time()  local
260 	strftime(tbuf, sizeof(tbuf), "%H:%M:%S", gmtime(&s));  in ipmi_sel_timestamp_time()
261 	return tbuf;  in ipmi_sel_timestamp_time()
2653 	static char tbuf[40];  in ipmi_sel_get_time()  local
2685 	strftime(tbuf, sizeof(tbuf), "%m/%d/%Y %H:%M:%S", gmtime(&time));  in ipmi_sel_get_time()
2686 	printf("%s\n", tbuf);  in ipmi_sel_get_time()