esp8266编译driver的时候include里面没有hw_timer.h头文件，编译失败，为什么？

下载了官方的esp8266_nonos_sdk_v2.0.0_16_08_10_0固件，发现编译driver的时候include里面没有hw_timer.h头文件，编译失败，请问是否文件丢失，还是这个不需要包含头文件？？？