root/arch/x86/boot/compressed/efi_stub_64.S

/* [<][>][^][v][top][bottom][index][help] */ 
   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"
/* [<][>][^][v][top][bottom][index][help] */