1 // SPDX-License-Identifier: GPL-2.0
2 #ifdef CONFIG_RANDOMIZE_BASE
3 
4 #include "../cpuflags.c"
5 
6 bool has_cpuflag(int flag)
7 {
8 	get_cpuflags();
9 
10 	return test_bit(flag, cpu.flags);
11 }
12 
13 #endif
14