Searched refs:efi_acpi_table (Results 1 – 6 of 6) sorted by relevance
226 base_ptr = d->arch.efi_acpi_table in acpi_create_rsdp()289 base_ptr = d->arch.efi_acpi_table in acpi_create_xsdt()333 base_ptr = d->arch.efi_acpi_table + offset; in acpi_create_stao()372 base_ptr = d->arch.efi_acpi_table + offset; in acpi_create_madt()427 base_ptr = d->arch.efi_acpi_table in acpi_create_fadt()505 d->arch.efi_acpi_table = alloc_xenheap_pages(order, 0); in prepare_acpi()506 if ( d->arch.efi_acpi_table == NULL ) in prepare_acpi()511 memset(d->arch.efi_acpi_table, 0, d->arch.efi_acpi_len); in prepare_acpi()553 virt_to_mfn(d->arch.efi_acpi_table), in prepare_acpi()569 clean_and_invalidate_dcache_va_range(d->arch.efi_acpi_table, in prepare_acpi()
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()
77 void *efi_acpi_table; member
783 free_xenheap_pages(d->arch.efi_acpi_table, in arch_domain_destroy()
1128 u8 *base_ptr = d->arch.efi_acpi_table + offset; in gicv2_make_hwdom_madt()
1489 u8 *base_ptr = d->arch.efi_acpi_table + offset; in gicv3_make_hwdom_madt()
Completed in 16 milliseconds