This is xnu-8019. See this file in:
#
OPTIONS/config_dtrace           optional config_dtrace

#
# pexpert generic
#

pexpert/gen/device_tree.c			standard
pexpert/gen/bootargs.c				standard
pexpert/gen/pe_gen.c				standard
pexpert/gen/kcformat.c				standard

#