Constant seL4_VCPUReg_PRRR 

pub const seL4_VCPUReg_PRRR: Type = 12;