Constant seL4_VCPUReg_TPIDRPRW 

pub const seL4_VCPUReg_TPIDRPRW: Type = 15;