Symbol: efi_5level_switch
drivers/firmware/efi/libstub/x86-5lvl.c
63
void efi_5level_switch(void)
drivers/firmware/efi/libstub/x86-stub.h
16
static inline void efi_5level_switch(void) {}