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