Symbol: debug_timestamp
drivers/char/ipmi/ipmi_si_intf.c
273
void debug_timestamp(struct smi_info *smi_info, char *msg)
drivers/char/ipmi/ipmi_si_intf.c
281
#define debug_timestamp(smi_info, x)