1b2441318SGreg Kroah-Hartman // SPDX-License-Identifier: GPL-2.0
2dd78b973SKees Cook #include "../cpuflags.c"
3dd78b973SKees Cook 
has_cpuflag(int flag)4dd78b973SKees Cook bool has_cpuflag(int flag)
5dd78b973SKees Cook {
66e6a4932SH. Peter Anvin 	get_cpuflags();
7dd78b973SKees Cook 
8dd78b973SKees Cook 	return test_bit(flag, cpu.flags);
9dd78b973SKees Cook }
10