Symbol: efi_5level_switch
drivers/firmware/efi/libstub/x86-stub.c
1038
efi_5level_switch();
drivers/firmware/efi/libstub/x86-stub.h
13
void efi_5level_switch(void);