/* SPDX-License-Identifier: GPL-2.0-only */ #include <drivers/tpm/cr50.h> #include <gpio.h> #include "gpio.h" int cr50_plat_irq_status(void) { return gpio_eint_poll(CR50_IRQ); }