Xen through 4.8.x does not validate a vCPU array index upon the sending of an SGI, which allows guest OS users to cause a denial of service (hypervisor crash), aka XSA-225.
https://xenbits.xen.org/xsa/advisory-225.html
https://security.gentoo.org/glsa/201708-03