CVE Reference

Id
669898  
CVE No.
CVE-2014-3125  
Reference
MLIST:[oss-security] 20140430 Re: Xen Security Advisory 91 - Hardware timer context is not properly context switched on ARM