Constant ARM64_RegisterVbarEl1 

pub const ARM64_RegisterVbarEl1: REGISTER_ID;