get_timestamp      41 drivers/misc/ibmasm/ibmasm.h static inline char *get_timestamp(char *buf)
get_timestamp     241 kernel/watchdog.c static unsigned long get_timestamp(void)