Function aarch64_arch_helpers::sysreg::write_vttbr_el2

pub fn write_vttbr_el2(v: u64)

Write value to register vttbr_el2

    Virtualization Translation Table Base Register