watch_arg_t Struct Reference

argument type for IPC-communication with watch thread More...

Data Fields
l4_threadid_t	thread
l4cpu_reserve_utcb_t *	utcb
char	name [L4CPU_RESERVE_UTCB_NAME_LEN]
unsigned	maxtime
int	ts_count

---

Detailed Description

argument type for IPC-communication with watch thread

Definition at line 50 of file utcb_watch.c.

---

Field Documentation

l4_threadid_t watch_arg_t::thread

Definition at line 51 of file utcb_watch.c.

Referenced by l4cpu_reserve_utcb_watch_add(), and watch_add_utcb_do().

l4cpu_reserve_utcb_t* watch_arg_t::utcb

Definition at line 52 of file utcb_watch.c.

Referenced by l4cpu_reserve_utcb_watch_add(), and watch_add_utcb_do().

char watch_arg_t::name[L4CPU_RESERVE_UTCB_NAME_LEN]

Definition at line 53 of file utcb_watch.c.

Referenced by l4cpu_reserve_utcb_watch_add(), and watch_add_utcb_do().

unsigned watch_arg_t::maxtime

Definition at line 54 of file utcb_watch.c.

Referenced by l4cpu_reserve_utcb_watch_add(), and watch_add_utcb_do().

int watch_arg_t::ts_count

Definition at line 55 of file utcb_watch.c.

Referenced by l4cpu_reserve_utcb_watch_add(), and watch_add_utcb_do().

---

The documentation for this struct was generated from the following file:

• utcb_watch.c