Function aarch64_arch_helpers::sysreg::read_sctlr_el2

pub fn read_sctlr_el2() -> u64

Read value from register sctlr_el2

    System Control Register (EL2)