Symbol: KAUTH_DEVICE_GPIO_PINSET