Function aarch64_arch_helpers::sysreg::read_cnthctl_el2

pub fn read_cnthctl_el2() -> u64

Read value from register cnthctl_el2

    Counter-timer Hypervisor Control register