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