blob: 4051aa154d84e1b248211da3925b123ec43d31af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
/* SPDX-License-Identifier: GPL-2.0-only */
/* This file is part of the coreboot project. */
#include <soc/gpio.h>
#include <soc/wakeup.h>
int wakeup_need_reset(void)
{
/* The "wake up" event is not reliable (known as "bad wakeup") and needs
* reset if the TPM reset mask GPIO value is high. */
return gpio_get_value(GPIO_X06);
}
|
