-/* @(#) $Id: ./src/headers/wait_op.h, 2011/09/08 dcid Exp $
- */
-
/* Copyright (C) 2009 Trend Micro Inc.
* All rights reserved.
*
#ifndef __WAIT_OP_H
#define __WAIT_OP_H
-
-void os_setwait();
-
-void os_delwait();
-
-void os_wait();
+void os_setwait(void);
+void os_delwait(void);
+void os_wait(void);
#endif
+