Searched refs:__TZ_get_PSP_NS (Results 1 – 2 of 2) sorted by relevance
231 __attribute__((always_inline)) __STATIC_INLINE uint32_t __TZ_get_PSP_NS(void) in __TZ_get_PSP_NS() function