NVD Reference

Id
164282  
Name
 
Nvdinfo Id
31379  
Nvdinfo Name
CVE-2014-3125  
Reference
[oss-security] 20140430 Xen Security Advisory 91 - Hardware timer context is not properly context switched on ARM  
Source
MLIST  
Url
http://www.openwall.com/lists/oss-security/2014/04/30/5