fix MXCSR default value
commitc68c010ae5debfc92d0a2ec60c1071249b78b4c9
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Sat, 18 May 2013 14:56:47 +0000 (18 14:56 +0000)
committerMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Mon, 27 May 2013 07:38:20 +0000 (27 07:38 +0000)
treeda6a56b53bdd2ca7bad4caaa1a174c558d97385b
parent55d6ea2b746c7ab47cfb61da6712279d6328cf1f
fix MXCSR default value

XEN fails to initialise its vcpus to behave like actual cpus. One
instance of this is that the MXCSR is not setup to the default
value documented in as documented in AMD64 Architecture
Programmer's Manual Volume 1: Application Programming, Section
Section 4.3.2
sys/platform/pc64/x86_64/npx.c