1 # SPDX
-License
-Identifier
: GPL
-2.0-or-later
3 chip mainboard
/emulation
/qemu
-sbsa
4 register
"vgic_maintenance_interrupt" = "0x19"
5 register
"performance_interrupt_gsiv" = "0x17"
7 device cpu_cluster
0 on ops qemu_aarch64_cpu_ops
end
9 device domain
0 on ops qemu_aarch64_pci_domain_ops
10 device pci
00.0 on
end