Certain page table manipulation operations in Xen 4.1.x 4.2.x and earlier are not preemptible which allows local PV kernels to cause a denial of service via vectors related to \deep page table traversal.\