Searched refs:gPEEFISystemTable (Results 1 – 3 of 3) sorted by relevance
57 extern void *gPEEFISystemTable;171 if (!gPEEFISystemTable || !gPEEFIRuntimeServices) { in pal_efi_call_in_64bit_mode()219 if (!gPEEFISystemTable || !gPEEFIRuntimeServices) { in pal_efi_call_in_32bit_mode()
60 void *gPEEFISystemTable; variable
355 extern void *gPEEFISystemTable;388 gPEEFISystemTable = system_table; in efi_set_tables_64()511 gPEEFISystemTable = 0; in hibernate_newruntime_map()