Searched defs:read_ttbr0_64bit (Results 1 – 2 of 2) sorted by relevance
246 .macro read_ttbr0_64bit reg0, reg1 macro
436 static inline __noprof uint64_t read_ttbr0_64bit(void) in read_ttbr0_64bit() function
Completed in 6 milliseconds