Xen 4.4.x when running on an ARM system does not properly context switch the CNTKCTL_EL1 register which allows local guest users to modify the hardware timers and cause a denial of service (crash) via unspecified vectors.