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