GNU Linux-libre 5.15.137-gnu
[releases.git] / arch / x86 / boot / compressed / cpuflags.c
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 }