debug_timestamp   266 drivers/char/ipmi/ipmi_si_intf.c void debug_timestamp(char *msg)
debug_timestamp   274 drivers/char/ipmi/ipmi_si_intf.c #define debug_timestamp(x)