Function aarch64_arch_helpers::sysreg::read_sctlr_el1

pub fn read_sctlr_el1() -> u64

Read value from register sctlr_el1

    System Control Register (EL1)