Re: [Xen-devel] [PATCH] x86: defer not-present segment checks

2016-10-10 Thread Andrew Cooper
On 06/10/16 13:24, Jan Beulich wrote: > Following on from commits 5602e74c60 ("x86emul: correct loading of > %ss") and bdb860d01c ("x86/HVM: correct segment register loading during > task switch") the point of the non-.present checks needs to be refined: > #NP (and its #SS companion), other than su

Re: [Xen-devel] [PATCH] x86: defer not-present segment checks

2016-10-07 Thread Jan Beulich
>>> On 07.10.16 at 15:01, wrote: > Also note how e.g. emulate_gate_op() looks at the P bit of the gate > only after having done other relevant checks. Having looked at this > again just now I realize, though, that the P bit clear on the code > segment descriptor wrongly raises #GP. As this gets fi

Re: [Xen-devel] [PATCH] x86: defer not-present segment checks

2016-10-07 Thread Jan Beulich
>>> On 07.10.16 at 14:28, wrote: > On 06/10/16 13:24, Jan Beulich wrote: >> Following on from commits 5602e74c60 ("x86emul: correct loading of >> %ss") and bdb860d01c ("x86/HVM: correct segment register loading during >> task switch") the point of the non-.present checks needs to be refined: >> #N

Re: [Xen-devel] [PATCH] x86: defer not-present segment checks

2016-10-07 Thread Andrew Cooper
On 06/10/16 13:24, Jan Beulich wrote: > Following on from commits 5602e74c60 ("x86emul: correct loading of > %ss") and bdb860d01c ("x86/HVM: correct segment register loading during > task switch") the point of the non-.present checks needs to be refined: > #NP (and its #SS companion), other than su

[Xen-devel] [PATCH] x86: defer not-present segment checks

2016-10-06 Thread Jan Beulich
Following on from commits 5602e74c60 ("x86emul: correct loading of %ss") and bdb860d01c ("x86/HVM: correct segment register loading during task switch") the point of the non-.present checks needs to be refined: #NP (and its #SS companion), other than suggested by the various instruction pages in In