WPI_GPIO_CLOCK
(WPI_GPIO_CLOCK | WPI_GPIO_SLEEP)) == WPI_GPIO_CLOCK)
if (WPI_READ(sc, WPI_GPIO_CTL) & WPI_GPIO_CLOCK)