This is xnu-11215.1.10. See this file in:
Directory listing for xnu-11215.1.10//EXTERNAL_HEADERS/image4/coprocessor
ap.h
ap_local.h
bootpc.h
cryptex1.h
sep.h
vma2.h
vma3.h
x86.h