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