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"
6