1 /* SPDX-License-Identifier: GPL-2.0-or-later */
3 #include <drivers/tpm/cr50.h>
6 __weak gpio_t
cr50_override_gpio(gpio_t irq
)
11 int cr50_plat_irq_status(void)
13 gpio_t irq_gpio
= CONFIG_GSC_IRQ_GPIO
;
15 irq_gpio
= cr50_override_gpio(irq_gpio
);
17 return gpio_interrupt_status(irq_gpio
);