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