xref: /linux/arch/x86/boot/compressed/cpuflags.c (revision a8b70ccf10e38775785d9cb12ead916474549f99)
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