Function aarch64_arch_helpers::sysreg::read_vbar_el3

pub fn read_vbar_el3() -> u64

Read value from register vbar_el3

    Vector Base Address Register (EL3)