CVE-2016-9817 in Xen
Summary
Xen through 4.7.x allows local ARM guest OS users to cause a denial of service (host crash) via vectors involving a (1) data or (2) prefetch abort with the ESR_EL2.EA bit set.
Be aware that VulDB is the high quality source for vulnerability data.