Searched defs:efi_system_table_64_t (Results 1 – 3 of 3) sorted by relevance
82 } efi_system_table_64_t; typedef
419 } efi_system_table_64_t; typedef
494 } efi_system_table_64_t; typedef