BKernel_Thread
extern BKernel_Thread* debug_set_debugged_thread(BKernel_Thread* thread);
extern BKernel_Thread* debug_get_debugged_thread();
typedef struct BKernel_Thread BKernel_Thread;