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