Symbol: debug_timestamp
drivers/char/ipmi/ipmi_si_intf.c
1113
debug_timestamp(smi_info, "Timer");
drivers/char/ipmi/ipmi_si_intf.c
1164
debug_timestamp(smi_info, "Interrupt");
drivers/char/ipmi/ipmi_si_intf.c
327
debug_timestamp(smi_info, "Start2");
drivers/char/ipmi/ipmi_si_intf.c
558
debug_timestamp(smi_info, "Done");
drivers/char/ipmi/ipmi_si_intf.c
929
debug_timestamp(smi_info, "Enqueue");