- c -

• CORBA_alloc() : corba.c
• CORBA_free() : corba.c

- g -

• get_max_dp() : sched.c
• granularity() : granularity.c , granularity.h
• granularity_init() : granularity.c
• granularity_roundup() : granularity.c , granularity.h

- i -

• is_dp() : server/src/sched.h

- l -

• l4cpu_dp_active() : include/sched.h , delayed_preempt.c
• l4cpu_dp_begin() : delayed_preempt.c , include/sched.h
• l4cpu_dp_end() : include/sched.h , delayed_preempt.c
• l4cpu_dp_remove() : include/sched.h
• l4cpu_dp_reserve_task() : include/sched.h , delayed_preempt.c
• l4cpu_dp_start_callback() : include/sched.h
• l4cpu_dp_stop_callback() : include/sched.h
• l4cpu_reserve_add() : include/sched.h , clientlib.c
• l4cpu_reserve_add_component() : main.c
• l4cpu_reserve_begin_minimal_periodic() : clientlib.c , include/sched.h
• l4cpu_reserve_begin_minimal_periodic_component() : main.c
• l4cpu_reserve_begin_minimal_periodic_self() : include/sched.h , clientlib.c
• l4cpu_reserve_begin_minimal_periodic_self_deprecated() : include/sched.h , clientlib.c
• l4cpu_reserve_begin_strictly_periodic() : include/sched.h , clientlib.c
• l4cpu_reserve_begin_strictly_periodic_component() : main.c
• l4cpu_reserve_begin_strictly_periodic_self() : include/sched.h , clientlib.c
• l4cpu_reserve_begin_strictly_periodic_self_deprecated() : include/sched.h , clientlib.c
• l4cpu_reserve_change() : include/sched.h , clientlib.c
• l4cpu_reserve_change_component() : main.c
• l4cpu_reserve_delayed_preempt() : include/sched.h , clientlib.c
• l4cpu_reserve_delayed_preempt_component() : main.c
• l4cpu_reserve_delete_task() : include/sched.h , clientlib.c
• l4cpu_reserve_delete_task_component() : main.c
• l4cpu_reserve_delete_thread() : clientlib.c , include/sched.h
• l4cpu_reserve_delete_thread_component() : main.c
• l4cpu_reserve_dump() : include/sched.h , convenience.c
• l4cpu_reserve_end_periodic() : clientlib.c , include/sched.h
• l4cpu_reserve_end_periodic_component() : main.c
• l4cpu_reserve_scheds_count() : include/sched.h , clientlib.c
• l4cpu_reserve_scheds_count_component() : main.c
• l4cpu_reserve_scheds_get() : include/sched.h , clientlib.c
• l4cpu_reserve_scheds_get_component() : main.c
• l4cpu_reserve_set_preempter() : clientlib.c
• l4cpu_reserve_time_demand() : clientlib.c , include/sched.h
• l4cpu_reserve_time_demand_component() : main.c
• l4cpu_reserve_utcb_stat_itoa() : utcb_stat.h
• l4cpu_reserve_utcb_watch_add() : utcb_watch.h , utcb_watch.c
• l4cpu_reserve_utcb_watch_del() : utcb_watch.h , utcb_watch.c
• l4cpu_reserve_utcb_watch_init() : utcb_watch.c , utcb_watch.h
• l4cpu_reserve_wait_periodic() : include/sched.h , startperiodic.c
• l4cpu_reserve_wait_periodic_ready() : startperiodic.c , include/sched.h
• l4cpu_reserve_watch() : clientlib.c , include/sched.h
• l4cpu_reserve_watch_component() : main.c
• lock_scheds() : server/src/sched.h , sched.c

- m -

• main() : main.c
• monitor_start() : monitor.c , monitor.h
• monitor_thread_dl() : monitor.c , monitor.h

- p -

• print_sched_event() : utcb_watch.c

- s -

• sched_free() : sched.c , server/src/sched.h
• sched_index() : server/src/sched.h , sched.c
• sched_init() : sched.c , server/src/sched.h
• sched_prepare_free() : server/src/sched.h , sched.c
• sched_response_time() : sched.c , server/src/sched.h
• server_init() : clientlib.c

- t -

• thread_equal() : monitor.c , watch.c

- u -

• unlock_scheds() : sched.c , server/src/sched.h

- w -

• watch_add_lost() : utcb_watch.c
• watch_add_period_entry() : utcb_watch.c
• watch_add_res_entry() : utcb_watch.c
• watch_add_utcb_do() : utcb_watch.c
• watch_del_utcb_do() : utcb_watch.c
• watch_eval_utcbs() : utcb_watch.c
• watch_hit_ts() : watch.c
• watch_insert_sample() : utcb_watch.c
• watch_thread() : utcb_watch.c
• watcher_fn() : watch.c , watch.h