blob: 99494dff2113e5ac63bcc77aaa58bb01b0506fbb [file] [log] [blame]
#include <asm/segment.h>
#include <asm/msr.h>
#include <asm/processor-flags.h>
#include "../../platform/efi/efi_stub_64.S"