Searched refs:efi_acpi_table (Results 1 – 6 of 6) sorted by relevance
68 base_ptr = d->arch.efi_acpi_table in acpi_create_efi_system_table()117 base_ptr = d->arch.efi_acpi_table in acpi_create_efi_mmap_table()
1583 base_ptr = d->arch.efi_acpi_table in acpi_create_rsdp()1645 base_ptr = d->arch.efi_acpi_table in acpi_create_xsdt()1689 base_ptr = d->arch.efi_acpi_table + offset; in acpi_create_stao()1728 base_ptr = d->arch.efi_acpi_table + offset; in acpi_create_madt()1783 base_ptr = d->arch.efi_acpi_table in acpi_create_fadt()1860 d->arch.efi_acpi_table = alloc_xenheap_pages(order, 0); in prepare_acpi()1861 if ( d->arch.efi_acpi_table == NULL ) in prepare_acpi()1866 memset(d->arch.efi_acpi_table, 0, d->arch.efi_acpi_len); in prepare_acpi()1908 virt_to_mfn(d->arch.efi_acpi_table), in prepare_acpi()1924 clean_and_invalidate_dcache_va_range(d->arch.efi_acpi_table, in prepare_acpi()
694 free_xenheap_pages(d->arch.efi_acpi_table, in arch_domain_destroy()
1026 u8 *base_ptr = d->arch.efi_acpi_table + offset; in gicv2_make_hwdom_madt()
1382 u8 *base_ptr = d->arch.efi_acpi_table + offset; in gicv3_make_hwdom_madt()
139 void *efi_acpi_table; member
Completed in 15 milliseconds