Home
last modified time | relevance | path

Searched refs:efi_config_table_64_t (Results 1 – 5 of 5) sorted by relevance

/linux/arch/x86/boot/compressed/
H A Defi.c175 efi_config_table_64_t *tbl_entry = (efi_config_table_64_t *)cfg_tbl + idx; in get_vendor_table()
H A Defi.h59 } efi_config_table_64_t; typedef
/linux/arch/x86/platform/efi/
H A Dquirks.c597 sz = sizeof(efi_config_table_64_t); in efi_reuse_config()
609 guid = ((efi_config_table_64_t *)p)->guid; in efi_reuse_config()
612 ((efi_config_table_64_t *)p)->table = data->smbios; in efi_reuse_config()
616 ((efi_config_table_64_t *)p)->table = EFI_INVALID_TABLE_ADDR; in efi_reuse_config()
H A Defi.c444 sz = sizeof(efi_config_table_64_t); in efi_config_init()
/linux/drivers/firmware/efi/
H A Defi.c708 const efi_config_table_64_t *tbl64 = (void *)config_tables; in efi_config_parse_tables()