nuttx/boards/arm/nrf91/common/include
..
nrf91_timer.h