Searched refs:efi_properties_table_t (Results 1 – 2 of 2) sorted by relevance
507 efi_properties_table_t *tbl; in efi_init()
587 } efi_properties_table_t; typedef