This is xnu-8019. See this file in:
Directory listing for xnu-8019//EXTERNAL_HEADERS/architecture/i386
Makefile
asm_help.h
cpu.h
desc.h
io.h
pio.h
reg_help.h
sel.h
table.h
tss.h