salvatoredipietro added a comment. For context, MySQL had also to overwrite this function and it is using the CNTVCT_EL0 register for over 3 years now CHANGES SINCE LAST ACTION https://reviews.llvm.org/D136999/new/ https://reviews.llvm.org/D136999