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 <
boardid.h
>
4
#include <
security/tpm/tis.h
>
5
#include <soc/gpio.h>
6
7
int
tis_plat_irq_status
(
void
)
8
{
9
gpio_t
irq_gpio =
GPIO_85
;
10
uint32_t
board_ver =
board_id
();
11
12
if
(
CONFIG
(BOARD_GOOGLE_GUYBRUSH) || (
CONFIG
(BOARD_GOOGLE_NIPPERKIN) && board_ver == 1))
13
irq_gpio =
GPIO_3
;
14
15
return
gpio_interrupt_status
(irq_gpio);
16
}
boardid.h
CONFIG
@ CONFIG
Definition:
dsi_common.h:201
board_id
uint32_t board_id(void)
board_id() - Get the board version
Definition:
ec_boardid.c:6
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_85
#define GPIO_85
Definition:
gpio.h:61
gpio_interrupt_status
int gpio_interrupt_status(gpio_t gpio)
Definition:
gpio.c:312
uint32_t
unsigned int uint32_t
Definition:
stdint.h:14
gpio_t
Definition:
gpio_base.h:7
tis.h
src
mainboard
google
guybrush
variants
baseboard
tpm_tis.c
Generated by
1.9.1