fix MXCSR default value v3.4.2
authorMarkus Pfeiffer <markus.pfeiffer@morphism.de>
Sat, 18 May 2013 14:56:47 +0000 (14:56 +0000)
committerJustin C. Sherrill <justin@shiningsilence.com>
Tue, 28 May 2013 00:26:10 +0000 (20:26 -0400)
commit9561b8dbeeba70799df48f59ecefc49b4d5ef4f9
tree465c20504c7261edba68ac47ac96a01701586ab4
parent99766370e6b3255f3c3096209e779a86cf29c9db
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