Searched defs: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() local160 efi_system_table_32_t *stbl = (efi_system_table_32_t *)systab; in efi_get_rsdp_addr() local