mark_tsc_async_resets
extern void mark_tsc_async_resets(char *reason);
mark_tsc_async_resets("UV5+");
mark_tsc_async_resets("UV BIOS");