I have a 32-bit core timer on a PIC32MZ microcontroller (datasheet) counting at 100 MHz. The system is running FreeRTOS with multiple tasks (threads) and this code should be able to get called from...