18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci#include "../cpuflags.c" 38c2ecf20Sopenharmony_ci 48c2ecf20Sopenharmony_cibool has_cpuflag(int flag) 58c2ecf20Sopenharmony_ci{ 68c2ecf20Sopenharmony_ci get_cpuflags(); 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_ci return test_bit(flag, cpu.flags); 98c2ecf20Sopenharmony_ci} 10