1 2 3
/* SPDX-License-Identifier: LGPL-2.1-or-later */ int verb_reboot_to_firmware(int argc, char *argv[], void *userdata);