_user_debugger
void _user_debugger(const char *message);
_user_debugger("Thread tried to acquire kernel semaphore.");