Timer / capture driver for the nRF52840

Does anyone know of a library for using the timer/capture on the Xenon/Argon, on the nRF52840 CPU.

The particle firmware for measuring microseconds micros() combined with GPIO interrupts does not allow measuring pulses below app 10[uS]. Furthermore, using the CPU’s capture function will reduce the interrupt load compared to the GPIO solution.