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