Xenomai  3.0.8
wdLib.h
1 /*
2  * Copyright (C) 2008 Philippe Gerum <rpm@xenomai.org>.
3  *
4  * This library is free software; you can redistribute it and/or
5  * modify it under the terms of the GNU Lesser General Public
6  * License as published by the Free Software Foundation; either
7  * version 2 of the License, or (at your option) any later version.
8  *
9  * This library is distributed in the hope that it will be useful,
10  * but WITHOUT ANY WARRANTY; without even the implied warranty of
11  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12  * Lesser General Public License for more details.
13 
14  * You should have received a copy of the GNU Lesser General Public
15  * License along with this library; if not, write to the Free Software
16  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.
17  *
18  * This file satisfies the references within the emulator code
19  * mimicking a VxWorks-like API built upon the copperplate library.
20  *
21  * VxWorks is a registered trademark of Wind River Systems, Inc.
22  */
23 
24 #ifndef _XENOMAI_VXWORKS_WDLIB_H
25 #define _XENOMAI_VXWORKS_WDLIB_H
26 
27 #include <vxworks/types.h>
28 
29 typedef uintptr_t WDOG_ID;
30 
31 #ifdef __cplusplus
32 extern "C" {
33 #endif
34 
35 WDOG_ID wdCreate(void);
36 
37 STATUS wdDelete(WDOG_ID wdog_id);
38 
39 STATUS wdStart(WDOG_ID wdog_id,
40  int delay,
41  void (*handler)(long),
42  long arg);
43 
44 STATUS wdCancel(WDOG_ID wdog_id);
45 
46 #ifdef __cplusplus
47 }
48 #endif
49 
50 #endif /* !_XENOMAI_VXWORKS_WDLIB_H */