Symbol: WPI_GPIO_CLOCK