osfmk/kern/ast.c standard
osfmk/kern/clock.c standard
osfmk/kern/counters.c standard
-osfmk/kern/cpu_data.c standard
osfmk/kern/debug.c standard
osfmk/kern/exception.c standard
osfmk/kern/etap.c standard
osfmk/kern/ipc_host.c standard
osfmk/kern/ipc_kobject.c standard
osfmk/kern/ipc_mig.c standard
-osfmk/kern/ipc_subsystem.c standard
osfmk/kern/ipc_sync.c standard
osfmk/kern/ipc_tt.c standard
osfmk/kern/kalloc.c standard
osfmk/kern/processor.c standard
osfmk/kern/queue.c standard
osfmk/kern/sched_prim.c standard
-osfmk/kern/sf.c standard
-osfmk/kern/spl.c standard
osfmk/kern/sscanf.c standard
osfmk/kern/startup.c standard
-osfmk/kern/subsystem.c standard
osfmk/kern/sync_lock.c standard
osfmk/kern/sync_sema.c standard
osfmk/kern/syscall_emulation.c standard
osfmk/kern/thread_act.c standard
osfmk/kern/thread_call.c standard
osfmk/kern/thread_policy.c standard
-osfmk/kern/thread_pool.c standard
osfmk/kern/thread_swap.c standard
osfmk/kern/timer.c standard
osfmk/kern/timer_call.c standard
./mach/lock_set_server.c standard
./mach/mach_host_server.c standard
./mach/mach_port_server.c standard
-./mach/memory_object_user.c standard
./mach/memory_object_server.c standard
-./mach/memory_object_default_user.c standard
./mach/memory_object_control_server.c standard
./mach/memory_object_default_server.c standard
./mach/memory_object_name_server.c standard
# when we can (i.e. when we can get the send-always behavior covered
# even with MIG-generated code).
# ./mach/notify_user.c standard
+# ./mach/memory_object_user.c standard
+# ./mach/memory_object_default_user.c standard
#
./mach/processor_server.c standard
./mach/processor_set_server.c standard
./mach/thread_act_server.c standard
./mach/vm_map_server.c standard
osfmk/mach-o/mach_header.c standard
+osfmk/vm/device_vm.c standard
osfmk/vm/memory_object.c standard
+osfmk/vm/task_working_set.c standard
osfmk/vm/vm_debug.c standard
osfmk/vm/vm_external.c optional mach_pagemap
osfmk/vm/vm_fault.c standard