Searched refs:systab64 (Results 1 – 1 of 1) sorted by relevance
391 const efi_system_table_64_t *systab64 = p; in efi_systab_init() local393 efi_runtime = systab64->runtime; in efi_systab_init()394 over4g = systab64->runtime > U32_MAX; in efi_systab_init()413 efi_fw_vendor = systab64->fw_vendor; in efi_systab_init()414 efi_config_table = systab64->tables; in efi_systab_init()416 over4g |= systab64->fw_vendor > U32_MAX || in efi_systab_init()417 systab64->tables > U32_MAX; in efi_systab_init()419 efi_nr_tables = systab64->nr_tables; in efi_systab_init()