Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / x86 / boot / compressed / efi_stub_64.S
1 #include <asm/segment.h>
2 #include <asm/msr.h>
3 #include <asm/processor-flags.h>
4
5 #include "../../platform/efi/efi_stub_64.S"