CortexA53, FreeRTOS and interrupts

Hello, Is there an equivalent to the xPortInsideInterrupt() function for the A53? If not, does anyone have any hints as to how I would implement one? 

For example, on the CortexM you can check here:

Thanks!

More questions in this forum