Searched refs:efi_system_table_32_t (Results 1 – 3 of 3) sorted by relevance
157 efi_system_table_32_t *stbl = (efi_system_table_32_t *)sys_tbl_pa; in efi_get_conf_table()
98 } efi_system_table_32_t; typedef
509 } efi_system_table_32_t; typedef530 efi_system_table_32_t mixed_mode;