Searched defs:read_ttbr0 (Results 1 – 2 of 2) sorted by relevance
| /optee_os/out/arm/core/include/generated/ | ||
| A D | arm32_sysreg.S | 236 .macro read_ttbr0 reg macro |
| A D | arm32_sysreg.h | 420 static inline __noprof uint32_t read_ttbr0(void) in read_ttbr0() function |
Completed in 8 milliseconds