Searched refs:read_ttbr1_64bit (Results 1 – 2 of 2) sorted by relevance
468 static inline __noprof uint64_t read_ttbr1_64bit(void) in read_ttbr1_64bit() function
266 .macro read_ttbr1_64bit reg0, reg1 macro
Completed in 5 milliseconds