# CONFIG_DEBUG_GPIO is not set