/* SPDX-License-Identifier: GPL-2.0-or-later */ | |
#include <drivers/tpm/cr50.h> | |
#include <gpio.h> | |
__weak gpio_t cr50_override_gpio(gpio_t irq) | |
{ | |
return irq; | |
} | |
int cr50_plat_irq_status(void) | |
{ | |
gpio_t irq_gpio = CONFIG_GSC_IRQ_GPIO; | |
irq_gpio = cr50_override_gpio(irq_gpio); | |
return gpio_interrupt_status(irq_gpio); | |
} |