#include <xen/acpi.h>
#include <xen/lib.h>
#include <xen/delay.h>
+#include <xen/iocap.h>
#include <xen/libfdt/libfdt.h>
#include <xen/mm.h>
#include <xen/rbtree.h>
return pirq;
}
+int gicv3_its_deny_access(const struct domain *d)
+{
+ int rc = 0;
+ unsigned long mfn, nr;
+ const struct host_its *its_data;
+
+ list_for_each_entry( its_data, &host_its_list, entry )
+ {
+ mfn = paddr_to_pfn(its_data->addr);
+ nr = PFN_UP(its_data->size);
+ rc = iomem_deny_access(d, mfn, mfn + nr);
+ if ( rc )
+ {
+ printk("iomem_deny_access failed for %lx:%lx \r\n", mfn, nr);
+ break;
+ }
+ }
+
+ return rc;
+}
+
/*
* Create the respective guest DT nodes from a list of host ITSes.
* This copies the reg property, so the guest sees the ITS at the same address
#ifdef CONFIG_ACPI
void gicv3_its_acpi_init(void);
#endif
+
+/* Deny iomem access for its */
+int gicv3_its_deny_access(const struct domain *d);
+
bool gicv3_its_host_has_its(void);
unsigned int vgic_v3_its_count(const struct domain *d);
}
#endif
+static inline int gicv3_its_deny_access(const struct domain *d)
+{
+ return 0;
+}
+
static inline bool gicv3_its_host_has_its(void)
{
return false;