path: root/src/boot/bootctl-systemd-efi-options.h

/* SPDX-License-Identifier: LGPL-2.1-or-later */
#pragma once

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