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} 10