/* 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 */