src/boot/bootctl-uki.h

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

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