coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
tpm_tis.c
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-or-later */
2 
3 #include <security/tpm/tis.h>
4 #include <soc/gpio.h>
5 #include <variant/gpio.h>
6 
7 int tis_plat_irq_status(void)
8 {
9  return gpio_interrupt_status(GPIO_3);
10 }
tis_plat_irq_status
int tis_plat_irq_status(void)
Definition: tpm_tis.c:7
GPIO_3
#define GPIO_3
Definition: gpio.h:24
gpio_interrupt_status
int gpio_interrupt_status(gpio_t gpio)
Definition: gpio.c:312