This is xnu-8019. See this file in:
Directory listing for xnu-8019//osfmk/arm
Makefile
WKdmCompress_new.s
WKdmData_new.s
WKdmDecompress_new.s
arch.h
arm_init.c
arm_timer.c
arm_vm_init.c
asm.h
atomic.h
bcopy.s
bsd_arm.c
bzero.s
caches.c
caches_asm.s
caches_internal.h
commpage/
counter.c
cpu.c
cpu_affinity.h
cpu_capabilities.h
cpu_common.c
cpu_data.h
cpu_data_internal.h
cpu_internal.h
cpu_number.h
cpu_x86_64_capabilities.h
cpuid.c
cpuid.h
cpuid_internal.h
cswitch.s
data.s
dbgwrap.c
dbgwrap.h
dwarf_unwind.h
exception.h
genassym.c
globals_asm.h
hw_lock_types.h
io_map.c
io_map_entries.h
kpc_arm.c
lock.h
locks.h
locks_arm.c
locore.s
loose_ends.c
lowglobals.h
lowmem_vectors.c
lz4_decode_armv7NEON.s
lz4_encode_armv7.s
machdep_call.c
machdep_call.h
machine_cpu.h
machine_cpuid.c
machine_cpuid.h
machine_kpc.h
machine_routines.c
machine_routines.h
machine_routines_apple.c
machine_routines_asm.s
machine_routines_common.c
machine_task.c
machlimits.h
machparam.h
memory_types.h
misc_protos.h
model_dep.c
monotonic.h
monotonic_arm.c
pal_routines.c
pal_routines.h
pcb.c
pmap/
pmap.c
pmap.h
pmap_public.h
proc_reg.h
rtclock.c
rtclock.h
sched_param.h
setjmp.h
simple_lock.h
smp.h
start.s
status.c
status_shared.c
strlcpy.c
strlen.s
strncmp.s
strncpy.c
strnlen.s
task.h
thread.h
tlb.h
trap.c
trap.h
trustcache.c
vm_tuning.h