kdebug_timestamp

Declaration

uint64_t kdebug_timestamp(void);