/* Returns the index to the value in the specified array  */
static int value_index(__u32 value, __u32 *array, int size)
/* Returns the index to the value in the specified array  */
static int value_index(__u32 value, __u32 *array, int size)
{
	int i;
	for (i=0; i < size; i++)
		if (array[i] == value)
			break;
	return i;
}