# define __COMPAT_SEMAPHORE_H__
#include <asm/semaphore.h>
#include <linux/semaphore.h>
/*
}
} else {
if (linuxState.fastClockThread) {
kill_proc(linuxState.fastClockThread, SIGKILL, 1);
kill_pid(linuxState.fastClockThread, SIGKILL, 1);
linuxState.fastClockThread = 0;
compat_wait_for_completion(&fastClockExited);