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

 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