Searched refs:systab64 (Results 1 – 1 of 1) sorted by relevance
367 const efi_system_table_64_t *systab64 = p; in efi_systab_init() local369 efi_runtime = systab64->runtime; in efi_systab_init()370 over4g = systab64->runtime > U32_MAX; in efi_systab_init()389 efi_fw_vendor = systab64->fw_vendor; in efi_systab_init()390 efi_config_table = systab64->tables; in efi_systab_init()392 over4g |= systab64->fw_vendor > U32_MAX || in efi_systab_init()393 systab64->tables > U32_MAX; in efi_systab_init()395 efi_nr_tables = systab64->nr_tables; in efi_systab_init()