CVE Reference

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