Searched refs:efi_system_table_32_t (Results 1 – 3 of 3) sorted by relevance
354 efi_system_table_32_t *systab32; in efi_systab_init()
646 rt = (u32 *)(table + offsetof(efi_system_table_32_t, runtime)); \
738 } efi_system_table_32_t; typedef
