src/boot/bootctl-reboot-to-firmware.h

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

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