/* SPDX-License-Identifier: GPL-2.0-or-later */#include"qemu/osdep.h"#include"qapi/error.h"#include"qapi/qapi-commands-misc-i386.h"voidqmp_rtc_reset_reinjection(Error **errp){error_setg(errp,"RTC interrupt reinjection backlog reset is not available for""this machine");}