@@ -70,3 +70,16 @@ unsigned int acpi_get_irq_type(u32 flags)
return ACPI_IRQ_TYPE_NONE;
}
}
+
+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++ )
+ {
+ offset += PAGE_ALIGN(tbl_add[i].size);
+ }
+
+ return offset;
+}
@@ -24,6 +24,7 @@
#define _ASM_ARM_ACPI_H
#include <xen/init.h>
+#include <asm/setup.h>
#define COMPILER_DEPENDENT_INT64 long long
#define COMPILER_DEPENDENT_UINT64 unsigned long long
@@ -47,11 +48,16 @@ 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_irq_type(u32 flags);
+unsigned int acpi_get_table_offset(struct membank tbl_add[], EFI_MEM_RES index);
#else
static inline bool_t acpi_psci_present(void) { return false; }
static inline bool_t acpi_psci_hvc_present(void) {return false; }
static inline void acpi_smp_init_cpus(void) { }
static inline unsigned int acpi_get_irq_type(u32 flags) { return 0; }
+unsigned int acpi_get_table_offset(struct membank tbl_add[], EFI_MEM_RES index)
+{
+ return 0;
+}
#endif /* CONFIG_ACPI */
/* Basic configuration for ACPI */