Displaying 3 results from an estimated 3 matches for "p2m_free_vmid".
2013 Sep 06
2
[PATCH] xen: arm: improve VMID allocation.
...X_VMID);
+
+ ASSERT(nr > 0); /* VMID is reserved */
+
+ if ( nr == MAX_VMID )
+ {
+ printk("p2m.c: dom%d: VMID pool exhausted\n", d->domain_id);
+ return -EBUSY;
+ }
+
+ set_bit(nr, vmid_mask);
+
+ p2m->vmid = nr;
+
+ return 0;
+}
+
+static void p2m_free_vmid(struct domain *d)
+{
+ struct p2m_domain *p2m = &d->arch.p2m;
+ clear_bit(p2m->vmid, vmid_mask);
+}
+
void p2m_teardown(struct domain *d)
{
struct p2m_domain *p2m = &d->arch.p2m;
@@ -318,25 +359,33 @@ void p2m_teardown(struct domain *d)
p2m->first_level = NUL...
2013 Nov 25
22
[PATCH v3 00/13] xen: arm initial support for xgene arm64 platform
George has release acked all of these. Otherwise mostly minor updates
this time around.
Summary: A == acked, M == modified
A xen: arm64: Add 8250 earlyprintk support
A xen: arm64: Add Basic Platform support for APM X-Gene Storm.
A xen: arm64: Add APM implementor id to processor implementers.
M xen: arm: add a quirk to handle platforms with unusual GIC layout
A xen: arm: allow platform
2013 Nov 20
54
[PATCH+RFC+HACK 00/16] xen: arm initial support for xgene arm64 platform
I''m afraid this series is rather a grab bag and it is distressingly
large at this stage. With this series I can boot an Xgene board until it
fails to find its SATA controller. This is a dom0 issue for which
patches are pending from APM (/me nudges Anup).
As well as the APM specific platform stuff there are also some generic
improvements which were either necessary or useful during this