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