Home
last modified time | relevance | path

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

/xen/xen/arch/arm/efi/
A Defi-dom0.c62 EFI_SYSTEM_TABLE *efi_sys_tbl; in acpi_create_efi_system_table() local
70 efi_sys_tbl = (EFI_SYSTEM_TABLE *)base_ptr; in acpi_create_efi_system_table()
72 efi_sys_tbl->Hdr.Signature = EFI_SYSTEM_TABLE_SIGNATURE; in acpi_create_efi_system_table()
74 efi_sys_tbl->Hdr.Revision = (2 << 16 | 50); in acpi_create_efi_system_table()
75 efi_sys_tbl->Hdr.HeaderSize = table_size; in acpi_create_efi_system_table()
77 efi_sys_tbl->FirmwareRevision = 1; in acpi_create_efi_system_table()
78 efi_sys_tbl->NumberOfTableEntries = 1; in acpi_create_efi_system_table()
81 efi_sys_tbl->FirmwareVendor = (CHAR16 *)(table_addr + offset); in acpi_create_efi_system_table()
87 efi_sys_tbl->ConfigurationTable = (EFI_CONFIGURATION_TABLE *)(table_addr in acpi_create_efi_system_table()
90 efi_sys_tbl->Hdr.CRC32 = xz_crc32((uint8_t *)efi_sys_tbl, in acpi_create_efi_system_table()
[all …]

Completed in 2 milliseconds