Function aarch64_arch_helpers::sysreg::write_cnthctl_el2

pub fn write_cnthctl_el2(v: u64)

Write value to register cnthctl_el2

    Counter-timer Hypervisor Control register