Please let me know the purpose of knowing the definition of "CyU3POsTimerHandler" function so that I can help you better.
Please share the details like what exactly you are trying to do with this in your application development.
Actually, I'm not asking about CyU3POsTimerHandler() as I already know that is is merely a wrapper for the ThreadX tx_timer_interrupt() function.
I'm actually asking about the Cypress code, namely, the 32kHz clock timer ISR within "cyfxapi.a" which calls CyU3POsTimerHandler().
At this stage, I'm just investigating the relationship between the Cypress API and ThreadX.
It would be nice to know what is actually happening on each OS timer tick in that ISR.