Searched refs:efi_5level_switch (Results 1 – 3 of 3) sorted by relevance
15 void efi_5level_switch(void);18 static inline void efi_5level_switch(void) {} in efi_5level_switch() function
63 void efi_5level_switch(void) in efi_5level_switch() function
988 efi_5level_switch(); in efi_stub_entry()