LAUNCHXL-CC1310: GPIO interrupt / pulse counter issue

Tool/software:

Hi All,

I am using the CC1310 controller and an digital temperature sensor, which outputs pulses. When I attempt to count GPIO interrupts over a specific time period, the pulse count is incorrect. We have verified the sensor pulses using an oscilloscope, and both the pulses and timer are functioning correctly. However, the interrupt count does not match. Could you please suggest any possible solutions

Thank you in advance!