del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

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"