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