Function aarch64_arch_helpers::sysreg::write_vbar_el1

pub fn write_vbar_el1(v: u64)

Write value to register vbar_el1

    Vector Base Address Register (EL1)