/* SPDX-License-Identifier: GPL-2.0-or-later */

#include <boardid.h>
#include <drivers/tpm/cr50.h>
#include <gpio.h>

int cr50_plat_irq_status(void)
{
	gpio_t irq_gpio = GPIO_85;
	uint32_t board_ver = board_id();

	if (CONFIG(BOARD_GOOGLE_GUYBRUSH) || (CONFIG(BOARD_GOOGLE_NIPPERKIN) && board_ver == 1))
		irq_gpio = GPIO_3;

	return gpio_interrupt_status(irq_gpio);
}