This is xnu-8019. See this file in:
Directory listing for xnu-8019//osfmk/device
Makefile
device.defs
device.modulemap
device_init.c
device_port.h
device_types.defs
device_types.h
iokit_rpc.c
subrs.c