-OPTIONS/etap optional etap
-OPTIONS/etap_lock_accumulate optional etap_lock_accumulate
-OPTIONS/etap_lock_monitor optional etap_lock_monitor
-OPTIONS/etap_event_monitor optional etap_event_monitor
-OPTIONS/fast_idle optional fast_idle
OPTIONS/kdebug optional kdebug
OPTIONS/mach_assert optional mach_assert
OPTIONS/mach_debug optional mach_debug
OPTIONS/mach_machine_routines.h optional mach_machine_routines
OPTIONS/kdebug optional kdebug
OPTIONS/mach_assert optional mach_assert
OPTIONS/mach_debug optional mach_debug
OPTIONS/mach_machine_routines.h optional mach_machine_routines
OPTIONS/mach_kdp optional mach_kdp
OPTIONS/mach_kprof optional mach_kprof
OPTIONS/mach_ldebug optional mach_ldebug
OPTIONS/mach_kdp optional mach_kdp
OPTIONS/mach_kprof optional mach_kprof
OPTIONS/mach_ldebug optional mach_ldebug
OPTIONS/mach_mp_debug optional mach_mp_debug
OPTIONS/mach_pagemap optional mach_pagemap
OPTIONS/mach_prof optional mach_prof
OPTIONS/mach_mp_debug optional mach_mp_debug
OPTIONS/mach_pagemap optional mach_pagemap
OPTIONS/mach_prof optional mach_prof
OPTIONS/mach_vm_debug optional mach_vm_debug
OPTIONS/mach_page_hash_stats optional mach_page_hash_stats
OPTIONS/mig_debug optional mig_debug
OPTIONS/mach_vm_debug optional mach_vm_debug
OPTIONS/mach_page_hash_stats optional mach_page_hash_stats
OPTIONS/mig_debug optional mig_debug
OPTIONS/stat_time optional stat_time
OPTIONS/time_stamp optional time_stamp
OPTIONS/xpr_debug optional xpr_debug
OPTIONS/stat_time optional stat_time
OPTIONS/time_stamp optional time_stamp
OPTIONS/xpr_debug optional xpr_debug
osfmk/kern/counters.c standard
osfmk/kern/debug.c standard
osfmk/kern/exception.c standard
osfmk/kern/counters.c standard
osfmk/kern/debug.c standard
osfmk/kern/exception.c standard
osfmk/kern/host.c standard
osfmk/kern/host_notify.c standard
osfmk/kern/ipc_clock.c standard
osfmk/kern/host.c standard
osfmk/kern/host_notify.c standard
osfmk/kern/ipc_clock.c standard
osfmk/kern/ipc_tt.c standard
osfmk/kern/kalloc.c standard
osfmk/kern/ledger.c standard
osfmk/kern/ipc_tt.c standard
osfmk/kern/kalloc.c standard
osfmk/kern/ledger.c standard
osfmk/kern/machine.c standard
osfmk/kern/mk_sp.c standard
osfmk/kern/mk_timer.c standard
osfmk/kern/machine.c standard
osfmk/kern/mk_sp.c standard
osfmk/kern/mk_timer.c standard
osfmk/kern/printf.c standard
osfmk/kern/priority.c standard
osfmk/kern/processor.c standard
osfmk/kern/printf.c standard
osfmk/kern/priority.c standard
osfmk/kern/processor.c standard
osfmk/kern/startup.c standard
osfmk/kern/sync_lock.c standard
osfmk/kern/sync_sema.c standard
osfmk/kern/startup.c standard
osfmk/kern/sync_lock.c standard
osfmk/kern/sync_sema.c standard
osfmk/kern/thread_act.c standard
osfmk/kern/thread_call.c standard
osfmk/kern/thread_policy.c standard
osfmk/kern/thread_act.c standard
osfmk/kern/thread_call.c standard
osfmk/kern/thread_policy.c standard
osfmk/kern/timer.c standard
osfmk/kern/timer_call.c standard
osfmk/kern/wait_queue.c standard
osfmk/kern/xpr.c optional xpr_debug
osfmk/kern/zalloc.c standard
osfmk/kern/bsd_kern.c optional mach_bsd
osfmk/kern/timer.c standard
osfmk/kern/timer_call.c standard
osfmk/kern/wait_queue.c standard
osfmk/kern/xpr.c optional xpr_debug
osfmk/kern/zalloc.c standard
osfmk/kern/bsd_kern.c optional mach_bsd
./mach/clock_server.c standard
./mach/clock_priv_server.c standard
./mach/clock_reply_user.c standard
./mach/clock_server.c standard
./mach/clock_priv_server.c standard
./mach/clock_reply_user.c standard
./mach/mach_host_server.c standard
./mach/mach_notify_user.c standard
./mach/mach_port_server.c standard
./mach/mach_host_server.c standard
./mach/mach_notify_user.c standard
./mach/mach_port_server.c standard
./mach/memory_object_server.c standard
./mach/memory_object_control_server.c standard
./mach/memory_object_default_server.c standard
./mach/memory_object_name_server.c standard
./mach/upl_server.c standard
./mach/memory_object_server.c standard
./mach/memory_object_control_server.c standard
./mach/memory_object_default_server.c standard
./mach/memory_object_name_server.c standard
./mach/upl_server.c standard