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