#ifndef PR_OS_INTERNAL_ERROR_H
#define PR_OS_INTERNAL_ERROR_H

#include "os_thread.h"


OSThread* __osGetCurrFaultedThread(void);

#endif