1*a78a91feSDaniel P. Berrangé /* SPDX-License-Identifier: GPL-2.0-or-later */ 2*a78a91feSDaniel P. Berrangé 3*a78a91feSDaniel P. Berrangé #include "qemu/osdep.h" 4*a78a91feSDaniel P. Berrangé #include "qapi/error.h" 5*a78a91feSDaniel P. Berrangé #include "qapi/qapi-commands-misc-i386.h" 6*a78a91feSDaniel P. Berrangé 7*a78a91feSDaniel P. Berrangé void qmp_rtc_reset_reinjection(Error **errp) 8*a78a91feSDaniel P. Berrangé { 9*a78a91feSDaniel P. Berrangé error_setg(errp, 10*a78a91feSDaniel P. Berrangé "RTC interrupt reinjection backlog reset is not available for" 11*a78a91feSDaniel P. Berrangé "this machine"); 12*a78a91feSDaniel P. Berrangé } 13