Constant PPC_REG_CTR 

pub const PPC_REG_CTR: Type = 3;