This is xnu-8019. See this file in:
Directory listing for xnu-8019//pexpert/arm
pe_bootargs.c
pe_consistent_debug.c
pe_fiq.c
pe_identify_machine.c
pe_init.c
pe_kprintf.c
pe_serial.c