Home
last modified time | relevance | path

Searched refs:tbl64 (Results 1 – 1 of 1) sorted by relevance

/openbmc/linux/drivers/firmware/efi/
H A Defi.c664 const efi_config_table_64_t *tbl64 = (void *)config_tables; in efi_config_parse_tables() local
676 guid = &tbl64[i].guid; in efi_config_parse_tables()
677 table = tbl64[i].table; in efi_config_parse_tables()
680 tbl64[i].table > U32_MAX) { in efi_config_parse_tables()