XSCALE_COUNTER1
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
if (!test_and_set_bit(XSCALE_COUNTER1, cpuc->used_mask))
return XSCALE_COUNTER1;
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
case XSCALE_COUNTER1:
case XSCALE_COUNTER1: