Constant seL4_VCPUReg_VMPIDR 

pub const seL4_VCPUReg_VMPIDR: Type = 32;