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-only */
2 
3 #include <gpio.h>
4 #include <security/tpm/tis.h>
5 
6 #include "gpio.h"
7 
8 int tis_plat_irq_status(void)
9 {
10  return gpio_eint_poll(CR50_IRQ);
11 }
tis_plat_irq_status
int tis_plat_irq_status(void)
Definition: tpm_tis.c:7
CR50_IRQ
#define CR50_IRQ
Definition: gpio.h:11
gpio_eint_poll
int gpio_eint_poll(gpio_t gpio)
Definition: gpio.c:126