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