1 /*
2 * (c) 2014 Steffen Liebergeld <steffen.liebergeld@kernkonzept.com>
3 *
4 * This file is licensed under the terms of the GNU Lesser General
5 * Public Licence 2.1.
6 * See the file COPYING-LGPL-2.1 for details.
7 */
8
9 #include <l4/sys/capability>
10 #include <l4/re/c/inhibitor.h>
11 #include <l4/re/inhibitor>
12
13
14 L4_CV long L4_EXPORT
l4re_inhibitor_acquire(l4_cap_idx_t cap,l4_umword_t id,char const * reason)15 l4re_inhibitor_acquire(l4_cap_idx_t cap, l4_umword_t id,
16 char const *reason)
17 {
18 return L4::Cap<L4Re::Inhibitor>(cap)->acquire(id, reason);
19 }
20
21 L4_CV long L4_EXPORT
l4re_inhibitor_release(l4_cap_idx_t cap,l4_umword_t id)22 l4re_inhibitor_release(l4_cap_idx_t cap, l4_umword_t id)
23 {
24 return L4::Cap<L4Re::Inhibitor>(cap)->release(id);
25 }
26
27 L4_CV long L4_EXPORT
l4re_inhibitor_next_lock_info(l4_cap_idx_t cap,char * name,unsigned len,l4_mword_t current_id)28 l4re_inhibitor_next_lock_info(l4_cap_idx_t cap, char *name,
29 unsigned len, l4_mword_t current_id)
30 {
31 return L4::Cap<L4Re::Inhibitor>(cap)->next_lock_info(name, len, current_id);
32 }
33
34