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