src/boot/efi/secure-boot.h

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

#include <efi.h>

BOOLEAN secure_boot_enabled(void);