Searched refs:Debug_ReadTSC (Results 1 – 1 of 1) sorted by relevance
19 Debug_ReadTSC(int argc, const char *argv[]) in Debug_ReadTSC() function24 REGISTER_DBGCMD(readtsc, "Print current timestamp", Debug_ReadTSC);