Function aarch64_arch_helpers::sysreg::write_actlr_el3

pub fn write_actlr_el3(v: u64)

Write value to register actlr_el3

    Auxiliary Control Register (EL3)