1*268a7840SPhilipp Rudo // SPDX-License-Identifier: GPL-2.0 2*268a7840SPhilipp Rudo 3*268a7840SPhilipp Rudo #include <linux/ima.h> 4*268a7840SPhilipp Rudo #include <asm/boot_data.h> 5*268a7840SPhilipp Rudo arch_ima_get_secureboot(void)6*268a7840SPhilipp Rudobool arch_ima_get_secureboot(void) 7*268a7840SPhilipp Rudo { 8*268a7840SPhilipp Rudo return ipl_secure_flag; 9*268a7840SPhilipp Rudo } 10*268a7840SPhilipp Rudo arch_get_ima_policy(void)11*268a7840SPhilipp Rudoconst char * const *arch_get_ima_policy(void) 12*268a7840SPhilipp Rudo { 13*268a7840SPhilipp Rudo return NULL; 14*268a7840SPhilipp Rudo } 15