PS3_PM_COUNTER_MASK_LO
return counter0415 & PS3_PM_COUNTER_MASK_LO;
return counter2637 & PS3_PM_COUNTER_MASK_LO;
counter0415_mask = PS3_PM_COUNTER_MASK_LO;
counter2637_mask = PS3_PM_COUNTER_MASK_LO;