• dp_duration : delayed_preempt.c
• enable_rt_mon : monitor.c
• kernel_granularity : granularity.c
• l4cpu_dp_pc : include/sched.h
• l4libc_heapsize : main.c
• main_id : main.c , server/src/sched.h
• monitor_enable : main.c , monitor.h
• pc : delayed_preempt.c
• preempt_counter : delayed_preempt.c
• preempt_start : delayed_preempt.c
• sched_cur_threads : sched.c , server/src/sched.h
• sched_max_threads : server/src/sched.h , sched.c
• scheds : sched.c , server/src/sched.h
• scheds_lock : server/src/sched.h , sched.c
• server_id : clientlib.c
• thread : delayed_preempt.c
• utcb_list : utcb_watch.c
• verbose : main.c
• watch_thread_id : utcb_watch.c
• watch_verbose : watch.c , main.c