This is xnu-8019. See this file in:
Directory listing for xnu-8019//iokit/IOKit/system_management
IOWatchDogTimer.h
Makefile