x86emul: correct loading of %ss

- Instead of #NP, #SS needs to be raised for non-present descriptors.
- Loading a null selector is fine in 64-bit mode at CPL != 3, as long
  as RPL == CPL.
- Don't lose the low two selector bits on null selector loads (also
  applies to %ds, %es, %fs, %gs, and LDTR).

Since we need CPL earlier now, also switch to using get_cpl() (instead
of open coding it).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
This commit is contained in:
Jan Beulich committed 2016-09-26 17:26:21 +02:00
1 parent 7c8004ef0c
commit 5602e74c60
1 file changed
+13 -8
+13 -8
View File
@@ -607,7 +607,7 @@ do{ asm volatile ( \
})
#define truncate_ea(ea) truncate_word((ea), ad_bytes)
#define mode_64bit() (def_ad_bytes == 8)
#define mode_64bit() (ctxt->addr_size == 64)
#define fail_if(p) \
do { \
@@ -1194,18 +1194,25 @@ protmode_load_seg(
struct x86_emulate_ctxt *ctxt,
const struct x86_emulate_ops *ops)
{
struct segment_register desctab, ss;
struct segment_register desctab;
struct { uint32_t a, b; } desc;
uint8_t dpl, rpl, cpl;
uint8_t dpl, rpl;
int cpl = get_cpl(ctxt, ops);
uint32_t new_desc_b, a_flag = 0x100;
int rc, fault_type = EXC_GP;
if ( cpl < 0 )
return X86EMUL_UNHANDLEABLE;
/* NULL selector? */
if ( (sel & 0xfffc) == 0 )
{
if ( (seg == x86_seg_cs) || (seg == x86_seg_ss) )
if ( (seg == x86_seg_cs) ||
((seg == x86_seg_ss) &&
(!mode_64bit() || (cpl == 3) || (cpl != sel))) )
goto raise_exn;
memset(sreg, 0, sizeof(*sreg));
sreg->sel = sel;
return X86EMUL_OKAY;
}
@@ -1213,8 +1220,7 @@ protmode_load_seg(
if ( !is_x86_user_segment(seg) && (sel & 4) )
goto raise_exn;
if ( (rc = ops->read_segment(x86_seg_ss, &ss, ctxt)) ||
(rc = ops->read_segment((sel & 4) ? x86_seg_ldtr : x86_seg_gdtr,
if ( (rc = ops->read_segment((sel & 4) ? x86_seg_ldtr : x86_seg_gdtr,
&desctab, ctxt)) )
return rc;
@@ -1229,7 +1235,7 @@ protmode_load_seg(
/* Segment present in memory? */
if ( !(desc.b & (1u<<15)) )
{
fault_type = EXC_NP;
fault_type = seg != x86_seg_ss ? EXC_NP : EXC_SS;
goto raise_exn;
}
@@ -1248,7 +1254,6 @@ protmode_load_seg(
dpl = (desc.b >> 13) & 3;
rpl = sel & 3;
cpl = ss.attr.fields.dpl;
switch ( seg )
{
Reference in new issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.