xref: /linux/arch/x86/boot/compressed/cpuflags.c (revision dacf1d7a78bf8a131346c47bfba7fe1f3ff44beb)
1 // SPDX-License-Identifier: GPL-2.0
2 #include "../cpuflags.c"
3 
4 bool has_cpuflag(int flag)
5 {
6 	get_cpuflags();
7 
8 	return test_bit(flag, cpu.flags);
9 }
10