/* SPDX-License-Identifier: GPL-2.0-only */

#include <amdblocks/psp.h>
#include <console/console.h>
#include <types.h>
#include "psp_def.h"

void psp_set_tpm_irq_gpio(unsigned int gpio)
{
	int cmd_status;
	struct mbox_cmd_dtpm_config_buffer buffer = {
		.header = {
			.size = sizeof(buffer)
		},
		.request_type = DTPM_REQUEST_CONFIG,
		.config = {
			.gpio = gpio
		}
	};

	printk(BIOS_DEBUG, "PSP: Setting TPM GPIO to %u...", gpio);

	cmd_status = send_psp_command(MBOX_BIOS_CMD_I2C_TPM_ARBITRATION, &buffer);

	psp_print_cmd_status(cmd_status, &buffer.header);
}