Searched defs:efi_system_table_32_t (Results 1 – 3 of 3) sorted by relevance
98 } efi_system_table_32_t; typedef
435 } efi_system_table_32_t; typedef
510 } efi_system_table_32_t; typedef