Constant seL4_VCPUReg_VBAR 

pub const seL4_VCPUReg_VBAR: Type = 14;