-/* @(#) $Id$ */
-
/* Copyright (C) 2009 Trend Micro Inc.
* All rights reserved.
*
*/
#ifndef __WAIT_OP_H
-#define __WAIT_OP_H
-
-
-void os_setwait();
+#define __WAIT_OP_H
-void os_delwait();
-
-void os_wait();
+void os_setwait(void);
+void os_delwait(void);
+void os_wait(void);
#endif
+