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