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