Searched refs:stbl (Results 1 – 1 of 1) sorted by relevance
155 efi_system_table_64_t *stbl = (efi_system_table_64_t *)systab; in efi_get_rsdp_addr() local157 config_tables = stbl->tables; in efi_get_rsdp_addr()158 nr_tables = stbl->nr_tables; in efi_get_rsdp_addr()160 efi_system_table_32_t *stbl = (efi_system_table_32_t *)systab; in efi_get_rsdp_addr() local162 config_tables = stbl->tables; in efi_get_rsdp_addr()163 nr_tables = stbl->nr_tables; in efi_get_rsdp_addr()