23#include <l4/sys/utcb.h>
28struct l4lllock_struct_t;
29typedef struct l4ullulock_struct_t l4ullulock_t;
32#define DEFAULT_UTCB = l4_utcb()
37int l4ullulock_init(l4ullulock_t **t,
38 void *(*mem_alloc)(
size_t x),
39 void (*mem_free)(
void *p),
43int l4ullulock_deinit(l4ullulock_t *t);
44int l4ullulock_lock(l4ullulock_t *t,
l4_utcb_t *u DEFAULT_UTCB);
45int l4ullulock_unlock(l4ullulock_t *t,
l4_utcb_t *u DEFAULT_UTCB);
unsigned long l4_cap_idx_t
Capability selector type.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
#define __END_DECLS
End section with C types and functions.
#define __BEGIN_DECLS
Start section with C types and functions.