Function aarch64_arch_helpers::sysreg::write_sctlr_el1

pub fn write_sctlr_el1(v: u64)

Write value to register sctlr_el1

    System Control Register (EL1)