Searched refs:efi_system_table_32_t (Results 1 – 5 of 5) sorted by relevance
155 efi_system_table_32_t *stbl = (efi_system_table_32_t *)sys_tbl_pa; in efi_get_conf_table()
96 } efi_system_table_32_t; typedef
325 : sizeof(efi_system_table_32_t); in efi_systab_init()374 const efi_system_table_32_t *systab32 = p; in efi_systab_init()
503 } efi_system_table_32_t; typedef524 efi_system_table_32_t mixed_mode;
103 mend = mstart + sizeof(efi_system_table_32_t); in map_efi_systab()