GPIO_COUNT is not defined in the vendor headers, but it's always one for this family (one GPIO port).