Here is a list of all functions, variables, defines, enums, and typedefs with links to the files they belong to:

- c -

• CONFIG_LOG_DP : delayed_preempt.c
• CONFIG_LOG_TIMEOUT : delayed_preempt.c
• CONFIG_LOG_TO_KERN : delayed_preempt.c
• CORBA_alloc() : corba.c
• CORBA_free() : corba.c

- d -

• dp_duration : delayed_preempt.c

- e -

• enable_rt_mon : monitor.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

- k -

• kernel_granularity : granularity.c

- l -

• L4_UTCB_NEXT_PERIOD : utcb_stat.h
• L4_UTCB_NEXT_RESERVATION : utcb_stat.h
• L4_UTCB_PERIOD_OVERRUN : utcb_stat.h
• L4_UTCB_RESERVATION_OVERRUN : utcb_stat.h
• 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_pc : include/sched.h
• 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() : include/sched.h , clientlib.c
• 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() : include/sched.h , clientlib.c
• l4cpu_reserve_delete_thread_component() : main.c
• l4cpu_reserve_dump() : convenience.c , include/sched.h
• l4cpu_reserve_end_periodic() : include/sched.h , clientlib.c
• l4cpu_reserve_end_periodic_component() : main.c
• l4cpu_reserve_name : include/sched.h
• l4cpu_reserve_scheds_count() : include/sched.h , clientlib.c
• l4cpu_reserve_scheds_count_component() : main.c
• l4cpu_reserve_scheds_get() : clientlib.c , include/sched.h
• 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_NAME_LEN : utcb_watch.h
• L4CPU_RESERVE_UTCB_STAT_COUNT : utcb_stat.h
• l4cpu_reserve_utcb_stat_itoa() : utcb_stat.h
• l4cpu_reserve_utcb_stat_type : utcb_stat.h
• l4cpu_reserve_utcb_watch_add() : utcb_watch.c , utcb_watch.h
• 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() : include/sched.h , startperiodic.c
• l4cpu_reserve_watch() : include/sched.h , clientlib.c
• l4cpu_reserve_watch_component() : main.c
• l4libc_heapsize : main.c
• lock_scheds() : sched.c , server/src/sched.h

- m -

• main() : main.c
• main_id : main.c , server/src/sched.h
• malloc_t : clientlib.c
• monitor_enable : main.c , monitor.h
• monitor_start() : monitor.h , monitor.c
• monitor_thread_dl() : monitor.h , monitor.c
• my_default_environment : clientlib.c

- p -

• pc : delayed_preempt.c
• preempt_counter : delayed_preempt.c
• preempt_start : delayed_preempt.c
• print_sched_event() : utcb_watch.c

- s -

• sched_cur_threads : sched.c , server/src/sched.h
• sched_free() : server/src/sched.h , sched.c
• sched_index() : sched.c , server/src/sched.h
• sched_init() : server/src/sched.h , sched.c
• sched_max_threads : sched.c , server/src/sched.h
• sched_prepare_free() : sched.c , server/src/sched.h
• sched_response_time() : sched.c , server/src/sched.h
• scheds : sched.c , server/src/sched.h
• scheds_lock : server/src/sched.h , sched.c
• server_id : clientlib.c
• server_init() : clientlib.c

- t -

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

- u -

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

- v -

• verbose : main.c

- 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_CMD_ADD : utcb_watch.c
• WATCH_CMD_DEL : utcb_watch.c
• WATCH_CMD_INV : utcb_watch.c
• watch_cmd_t : utcb_watch.c
• watch_cmd_val_t : 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
• watch_thread_id : utcb_watch.c
• watch_verbose : watch.c , main.c
• watcher_fn() : watch.c , watch.h