PS3_PM_COUNTER_MASK_HI  259 drivers/ps3/ps3-lpm.c 		counter0415_mask = PS3_PM_COUNTER_MASK_HI;
PS3_PM_COUNTER_MASK_HI  273 drivers/ps3/ps3-lpm.c 		counter2637_mask = PS3_PM_COUNTER_MASK_HI;