Constant SystemReg_REG_VBAR_EL3 

pub const SystemReg_REG_VBAR_EL3: SystemReg = 62976;