XSCALE_COUNTER2
case XSCALE_COUNTER2:
case XSCALE_COUNTER2:
case XSCALE_COUNTER2:
else if (!test_and_set_bit(XSCALE_COUNTER2, cpuc->used_mask))
idx = XSCALE_COUNTER2;
case XSCALE_COUNTER2:
case XSCALE_COUNTER2: