Sign in
cos
/
third_party
/
kernel
/
a4db758f7dce6d2d9d7926ffff3f41af2cf63d0a
/
.
/
arch
/
x86
/
boot
/
compressed
/
cpuflags.c
blob: 0cc1323896d19124475f817f574dd6810c4307bb [
file
] [
log
] [
blame
]
// SPDX-License-Identifier: GPL-2.0
#include
"../cpuflags.c"
bool
has_cpuflag
(
int
flag
)
{
get_cpuflags
();
return
test_bit
(
flag
,
cpu
.
flags
);
}