This is xnu-8019. See this file in:
bsd/dev/arm/conf.c		standard
bsd/dev/arm/cons.c		standard
bsd/dev/arm/km.c		standard
bsd/dev/arm/kern_machdep.c	standard
bsd/dev/arm/stubs.c		standard
bsd/dev/arm/systemcalls.c           standard
bsd/dev/arm/sysctl.c           standard
bsd/dev/arm/unix_signal.c	standard
bsd/dev/arm/cpu_in_cksum.s	standard
bsd/dev/arm/cpu_copy_in_cksum.s	optional skywalk
bsd/dev/arm/cpu_memcmp_mask.s	optional skywalk

bsd/dev/arm/dtrace_isa.c	optional config_dtrace
bsd/dev/arm/dtrace_subr_arm.c	optional config_dtrace
bsd/dev/arm/fbt_arm.c		optional config_dtrace
bsd/dev/arm/fasttrap_isa.c	optional config_dtrace
bsd/dev/arm/disassembler.c	optional config_dtrace
bsd/dev/arm/sdt_arm.c		optional config_dtrace

bsd/dev/arm/munge.c		standard

bsd/kern/bsd_stubs.c		standard