@@ -62,3 +62,17 @@ bool_t __init acpi_psci_hvc_present(void)
{
return acpi_gbl_FADT.arm_boot_flags & ACPI_FADT_PSCI_USE_HVC;
}
+
+unsigned int acpi_get_table_offset(struct membank tbl_add[], EFI_MEM_RES index)
+{
+ int i;
+ unsigned int offset = 0;
+
+ for ( i = 0; i < index; i++ )
+ {
+ /* Aligned with 64bit (8 bytes) */
+ offset += ROUNDUP(tbl_add[i].size, 8);
+ }
+
+ return offset;
+}
@@ -25,6 +25,7 @@
#include <xen/init.h>
#include <asm/page.h>
+#include <asm/setup.h>
#define COMPILER_DEPENDENT_INT64 long long
#define COMPILER_DEPENDENT_UINT64 unsigned long long
@@ -45,6 +46,7 @@ typedef enum {
bool_t __init acpi_psci_present(void);
bool_t __init acpi_psci_hvc_present(void);
void __init acpi_smp_init_cpus(void);
+unsigned int acpi_get_table_offset(struct membank tbl_add[], EFI_MEM_RES index);
#ifdef CONFIG_ACPI
extern bool_t acpi_disabled;