Function aarch64_arch_helpers::sysreg::read_sctlr_el3

pub fn read_sctlr_el3() -> u64

Read value from register sctlr_el3

    System Control Register (EL3)