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

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