Go to the source code of this file.
Functions | |
void | watcher_fn (void *arg) |
Definition in file watch.h.
void watcher_fn | ( | void * | arg | ) |
Definition at line 53 of file watch.c.
References main_id, monitor_enable, monitor_thread_dl(), utcb_list_t::next, thread, watch_hit_ts(), and watch_verbose.
Referenced by l4cpu_reserve_watch_component().