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