Searched refs:efi_system_table_32_t (Results 1 – 5 of 5) sorted by relevance
160 efi_system_table_32_t *stbl = (efi_system_table_32_t *)systab; in efi_get_rsdp_addr()
102 mend = mstart + sizeof(efi_system_table_32_t); in map_efi_systab()
378 efi_system_table_32_t *systab32; in efi_systab_init()
647 rt = (u32 *)(table + offsetof(efi_system_table_32_t, runtime)); \
760 } efi_system_table_32_t; typedef
