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

#ifndef MAINBOARD_EMULATION_QEMU_SBSA_CHIP_H
#define MAINBOARD_EMULATION_QEMU_SBSA_CHIP_H

#include <types.h>

struct mainboard_emulation_qemu_sbsa_config {
	uint32_t vgic_maintenance_interrupt;
	uint32_t performance_interrupt_gsiv;
};

#endif