nuttx/boards/arm/nrf52/common/include
..
nrf52_timer.h