boot/compressed/cpuflags.c

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