/* SPDX-License-Identifier: LGPL-2.1-or-later */

int verb_reboot_to_firmware(int argc, char *argv[], void *userdata);