x86emul: correct vzero{all,upper} for non-64-bit-mode
authorJan Beulich <jbeulich@suse.com>
Thu, 9 Mar 2017 16:41:58 +0000 (17:41 +0100)
committerJan Beulich <jbeulich@suse.com>
Thu, 9 Mar 2017 16:41:58 +0000 (17:41 +0100)
commit0de676d8e52d1995e551387642b00a2abf08b22d
tree9f89ee1d4b13cdbe82fdc6f61bc7829b51532e83
parentbd8451964078b006081fcef6d169961a3a6f746a
x86emul: correct vzero{all,upper} for non-64-bit-mode

The registers only accessible in 64-bit mode need to be left alone in
this case.

Reported-by: Andrew Cooper <andrew.cooper3@citrix.com>
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
tools/tests/x86_emulator/test_x86_emulator.c
xen/arch/x86/x86_emulate/x86_emulate.c