aarch64_arch_helpers::sysreg
pub fn read_ctr_el0() -> u64
Read value from register ctr_el0
Cache Type Register