Sign in
zircon-guest
/
third_party
/
linux
/
62de9c5ed2a73c1692829e83e7aa72a73742247a
/
.
/
arch
/
x86
/
boot
/
compressed
/
cpuflags.c
blob: 6448a8196d3298b0fb06f7a31d14dee6086f8978 [
file
] [
log
] [
blame
]
// 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