Function aarch64_arch_helpers::sysreg::write_ttbr1_el1

pub fn write_ttbr1_el1(v: u64)

Write value to register ttbr1_el1

    Translation Table Base Register 1 (EL1)