This is xnu-8019. See this file in:
######################################################################
#BEGIN	Machine dependent Makefile fragment for x86_64
######################################################################

######################################################################
#END	Machine dependent Makefile fragment for x86_64
######################################################################