1 /* SPDX-License-Identifier: GPL-2.0-only */
4 #include <soc/wakeup.h>
6 int wakeup_need_reset(void)
8 /* The "wake up" event is not reliable (known as "bad wakeup") and needs
9 * reset if the TPM reset mask GPIO value is high. */
10 return gpio_get_value(GPIO_X06
);