ARMV6_COUNTER0
else if (ARMV6_COUNTER0 == counter)
else if (ARMV6_COUNTER0 == counter)
else if (ARMV6_COUNTER0 == counter)
} else if (ARMV6_COUNTER0 == idx) {
if (!test_and_set_bit(ARMV6_COUNTER0, cpuc->used_mask))
return ARMV6_COUNTER0;
} else if (ARMV6_COUNTER0 == idx) {