x86/emul: Correctly annotate all push/pop %sreg instructions
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 19 Oct 2016 16:30:36 +0000 (17:30 +0100)
committerWei Liu <wei.liu2@citrix.com>
Mon, 24 Oct 2016 10:08:36 +0000 (11:08 +0100)
commit84699357f36e3876ffac2d2b3b0db484b0d47bc5
tree970fade70fdc03db9701c026dee8c344fa26890e
parent7b9a172af0583a0e8fa98f255325072daa7bb40d
x86/emul: Correctly annotate all push/pop %sreg instructions

c/s 373923ed9c2 "x86emul: fix pushing of selector registers" redirected
all push %sreg instructions into the general push path.  However, this
ends up hitting the assertion at the head of the push path.

Annotate All push and pop %sreg instructions as Mov, indicating that
they do not read the destination operand.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Jan Beulich <jbeulich@suse.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
xen/arch/x86/x86_emulate/x86_emulate.c