1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <soc/gpio.h> 4 #include <soc/wakeup.h> 5 wakeup_need_reset(void)6int wakeup_need_reset(void) 7 { 8 /* The "wake up" event is not reliable (known as "bad wakeup") and needs 9 * reset if GPIO value is high. */ 10 return gpio_get_value(GPIO_Y10); 11 } 12