Home
last modified time | relevance | path

Searched defs:read_ttbr0_64bit (Results 1 – 2 of 2) sorted by relevance

/optee_os/out/arm/core/include/generated/
A Darm32_sysreg.S246 .macro read_ttbr0_64bit reg0, reg1 macro
A Darm32_sysreg.h436 static inline __noprof uint64_t read_ttbr0_64bit(void) in read_ttbr0_64bit() function

Completed in 5 milliseconds