We're interested in measuring the length of time it takes to complete a particular function that we've added to the ATF. This function never returns control back to Linux, so it's not simply a matter of measuring how long the "function" takes from Linux's PoV.
Our SDK is based on the Xilinx v2018.2 SDK. It's not obvious to me in the ARM Trusted Firmware how to measure the time. Is there an API provided within the ATF that I should use to measure the time?