This is xnu-8019. See this file in:
Directory listing for xnu-8019//EXTERNAL_HEADERS/acpi
Acpi.h
Acpi_v1.h