Searched refs:systab64 (Results 1 – 1 of 1) sorted by relevance
385 const efi_system_table_64_t *systab64 = p; in efi_systab_init() local387 efi_runtime = systab64->runtime; in efi_systab_init()388 over4g = systab64->runtime > U32_MAX; in efi_systab_init()407 efi_fw_vendor = systab64->fw_vendor; in efi_systab_init()408 efi_config_table = systab64->tables; in efi_systab_init()410 over4g |= systab64->fw_vendor > U32_MAX || in efi_systab_init()411 systab64->tables > U32_MAX; in efi_systab_init()413 efi_nr_tables = systab64->nr_tables; in efi_systab_init()