1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 3 #ifndef MAINBOARD_EMULATION_QEMU_SBSA_CHIP_H 4 #define MAINBOARD_EMULATION_QEMU_SBSA_CHIP_H 5 6 #include <types.h> 7 8 struct mainboard_emulation_qemu_sbsa_config { 9 uint32_t vgic_maintenance_interrupt; 10 uint32_t performance_interrupt_gsiv; 11 }; 12 13 #endif 14