NVD Reference

Id
204289  
Name
 
Nvdinfo Id
40143  
Nvdinfo Name
CVE-2013-4551  
Reference
[oss-security] 20131111 Xen Security Advisory 75 (CVE-2013-4551) - Host crash due to guest VMX instruction execution  
Source
MLIST  
Url
http://www.openwall.com/lists/oss-security/2013/11/11/1