Constant seL4_VCPUReg_TPIDRPRW

pub const seL4_VCPUReg_TPIDRPRW: Type = 15;