| /* SPDX-License-Identifier: GPL-2.0-only */ |
| /* |
| * Copyright (C) 2026 Red Hat, Inc. All Rights Reserved. |
| * |
| * Author: Coiby Xu <coxu@redhat.com> |
| */ |
| |
| #ifndef _LINUX_SECURE_BOOT_H |
| #define _LINUX_SECURE_BOOT_H |
| |
| #include <linux/types.h> |
| |
| #ifdef CONFIG_HAVE_ARCH_GET_SECUREBOOT |
| /* |
| * Returns true if the platform secure boot is enabled. |
| * Returns false if disabled or not supported. |
| */ |
| bool arch_get_secureboot(void); |
| #else |
| static inline bool arch_get_secureboot(void) { return false; } |
| #endif |
| |
| #endif /* _LINUX_SECURE_BOOT_H */ |
