Function aarch64_arch_helpers::sysreg::read_ttbr1_el1

pub fn read_ttbr1_el1() -> u64

Read value from register ttbr1_el1

    Translation Table Base Register 1 (EL1)