+/**
+ * Converts GPIO number to index into g_gpio, or 128 if no map.
+ */
+const unsigned char g_gpio_index[GPIO_INDEX_SIZE] = {
+ 128, 128, 0, 1, 2, 3, 128, 128, 4, 5, 6, 7, 128, 128,
+ 8, 9, 128, 128, 128, 128, 128, 128, 10, 11, 128, 128, 12, 13,
+ 128, 128, 14, 15, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128,
+ 128, 128, 16, 17, 18, 19, 20, 21, 22, 23, 128, 128, 128, 128,
+ 128, 128, 128, 128, 24, 25, 128, 128, 128, 26, 27, 28, 29, 30,
+ 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 128, 128,
+ 128, 128, 43, 44, 45, 46, 128, 128, 128, 128, 128, 128, 128, 128,
+ 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128,
+ 47, 128, 128, 48, 128, 49, 128, 128, 128, 128, 128, 128, 128, 128,
+ 128, 128
+};