CC_EO
if ((ctl & (CC_EO | CC_EN1)) != (CC_EO | CC_EN1))
SET_PC_REG(PC_COUNTER_CONTROL, 0, ctl | CC_EO | CC_EN1);