Searched refs:EFI_SYSTEM_TABLE_32 (Results 1 – 1 of 1) sorted by relevance
507 typedef struct EFI_SYSTEM_TABLE_32 { struct527 } __attribute__((aligned(8))) EFI_SYSTEM_TABLE_32; argument