hc
2023-11-06 15ade055295d13f95d49e3d99b09f3bbfb4a43e7
1
2
3
4
5
#include <asm/segment.h>
#include <asm/msr.h>
#include <asm/processor-flags.h>
 
#include "../../platform/efi/efi_stub_64.S"