| /* SPDX-License-Identifier: GPL-2.0-or-later */ | |
| #include "qemu/osdep.h" | |
| #include "qapi/error.h" | |
| #include "qapi/qapi-commands-misc-arm.h" | |
| GICCapabilityList *qmp_query_gic_capabilities(Error **errp) | |
| { | |
| error_setg(errp, "GIC hardware is not available on this target"); | |
| return NULL; | |
| } |