The code contains several races which, if triggered, can cause Xen to drop or retain extra type counts, potentially allowing guests to get write access to in-use pagetables.
Created xen tracking bugs for this issue: Affects: fedora-all [bug 1767726]