40 /* * semaphore info struct */ /* * Structures allocated in machdep.c */