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