Searched refs:efi_config_table_32_t (Results 1 – 5 of 5) sorted by relevance
52 efi_config_table_32_t *tbl = (efi_config_table_32_t *)config_tables + i; in __efi_get_rsdp_addr()
375 } efi_config_table_32_t; typedef382 efi_config_table_32_t mixed_mode;
520 : sizeof(efi_config_table_32_t); in get_efi_config_table()
426 sz = sizeof(efi_config_table_32_t); in efi_config_init()
559 const efi_config_table_32_t *tbl32 = (void *)config_tables; in efi_config_parse_tables()
Completed in 14 milliseconds