linuxdebug/arch/x86/boot/compressed/cpuflags.c

10 lines
146 B
C

// SPDX-License-Identifier: GPL-2.0
#include "../cpuflags.c"
bool has_cpuflag(int flag)
{
get_cpuflags();
return test_bit(flag, cpu.flags);
}