1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2026 Red Hat, Inc. All Rights Reserved. 4 * 5 * Author: Coiby Xu <coxu@redhat.com> 6 */ 7 8 #ifndef _LINUX_SECURE_BOOT_H 9 #define _LINUX_SECURE_BOOT_H 10 11 #include <linux/types.h> 12 13 /* 14 * Returns true if the platform secure boot is enabled. 15 * Returns false if disabled or not supported. 16 */ 17 bool arch_get_secureboot(void); 18 19 #endif /* _LINUX_SECURE_BOOT_H */ 20