14 lines
184 B
C
14 lines
184 B
C
|
// SPDX-License-Identifier: GPL-2.0
|
||
|
|
#ifdef CONFIG_RANDOMIZE_BASE
|
||
|
|
|
||
|
|
#include "../cpuflags.c"
|
||
|
|
|
||
|
|
bool has_cpuflag(int flag)
|
||
|
|
{
|
||
|
|
get_cpuflags();
|
||
|
|
|
||
|
|
return test_bit(flag, cpu.flags);
|
||
|
|
}
|
||
|
|
|
||
|
|
#endif
|