arch/x86/boot/compressed/cpuflags.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 #ifdef CONFIG_RANDOMIZE_BASE
   3
   4 #include "../cpuflags.c"
   5
   6 bool has_cpuflag(int flag)
   7 {
   8         get_cpuflags();
   9
  10         return test_bit(flag, cpu.flags);
  11 }
  12
  13 #endif