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