Data Structures

Here are the data structures with brief descriptions:

l4cpu_reserve_utcb_elem_t
l4cpu_reserve_utcb_t
sched_t
utcb_list_t	List-element to manage utcbs/threads
watch_arg_t	Argument type for IPC-communication with watch thread