/* 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;}