* along with this program; If not, see <http://www.gnu.org/licenses/>.
*/
+#include <xen/acpi.h>
#include <xen/lib.h>
#include <xen/delay.h>
#include <xen/libfdt/libfdt.h>
}
}
+#ifdef CONFIG_ACPI
+static int gicv3_its_acpi_probe(struct acpi_subtable_header *header,
+ const unsigned long end)
+{
+ struct acpi_madt_generic_translator *its;
+
+ its = (struct acpi_madt_generic_translator *)header;
+ if ( BAD_MADT_ENTRY(its, end) )
+ return -EINVAL;
+
+ add_to_host_its_list(its->base_address, GICV3_ITS_SIZE, NULL);
+
+ return 0;
+}
+
+void gicv3_its_acpi_init(void)
+{
+ /* Parse ITS information */
+ acpi_table_parse_madt(ACPI_MADT_TYPE_GENERIC_TRANSLATOR,
+ gicv3_its_acpi_probe, 0);
+}
+#endif
+
/*
* Local variables:
* mode: C
#define GITS_CMD_DISCARD 0x0f
#define ITS_DOORBELL_OFFSET 0x10040
+#define GICV3_ITS_SIZE SZ_128K
#include <xen/device_tree.h>
#include <xen/rbtree.h>
/* Parse the host DT and pick up all host ITSes. */
void gicv3_its_dt_init(const struct dt_device_node *node);
+#ifdef CONFIG_ACPI
+void gicv3_its_acpi_init(void);
+#endif
bool gicv3_its_host_has_its(void);
unsigned int vgic_v3_its_count(const struct domain *d);
{
}
+#ifdef CONFIG_ACPI
+static inline void gicv3_its_acpi_init(void)
+{
+}
+#endif
+
static inline bool gicv3_its_host_has_its(void)
{
return false;