Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / x86 / boot / compressed / cpuflags.c
1 #ifdef CONFIG_RANDOMIZE_BASE
2
3 #include "../cpuflags.c"
4
5 bool has_cpuflag(int flag)
6 {
7         get_cpuflags();
8
9         return test_bit(flag, cpu.flags);
10 }
11
12 #endif