* Copyright 2007, Ingo Weinhold, bonefish@cs.tu-berlin.de.
* Distributed under the terms of the MIT License.
*/
#include "compatibility.h"
#include "fssh_os.h"
#include <OS.h>
#include "fssh_errors.h"
fssh_status_t
fssh_kill_thread(fssh_thread_id thread)
{
return kill_thread(thread);
}
fssh_status_t
fssh_resume_thread(fssh_thread_id thread)
{
return resume_thread(thread);
}
fssh_status_t
fssh_suspend_thread(fssh_thread_id thread)
{
return suspend_thread(thread);
}
fssh_thread_id
fssh_find_thread(const char *name)
{
return find_thread(name);
}
fssh_status_t
fssh_snooze(fssh_bigtime_t amount)
{
return snooze(amount);
}
fssh_status_t
fssh_snooze_until(fssh_bigtime_t time, int timeBase)
{
return snooze_until(time, timeBase);
}
