Searched refs:systab64 (Results 1 – 1 of 1) sorted by relevance
393 const efi_system_table_64_t *systab64 = p; in efi_systab_init() local395 efi_runtime = systab64->runtime; in efi_systab_init()396 over4g = systab64->runtime > U32_MAX; in efi_systab_init()415 efi_fw_vendor = systab64->fw_vendor; in efi_systab_init()416 efi_config_table = systab64->tables; in efi_systab_init()418 over4g |= systab64->fw_vendor > U32_MAX || in efi_systab_init()419 systab64->tables > U32_MAX; in efi_systab_init()421 efi_nr_tables = systab64->nr_tables; in efi_systab_init()