| Matt Fleming | 0154416 | 2014-01-10 15:37:17 +0000 | [diff] [blame] | 1 | #include <asm/segment.h> |
| 2 | #include <asm/msr.h> | ||||
| 3 | #include <asm/processor-flags.h> | ||||
| 4 | |||||
| Matt Fleming | 291f363 | 2011-12-12 21:27:52 +0000 | [diff] [blame] | 5 | #include "../../platform/efi/efi_stub_64.S" |