regop.isa (5672:f332946e12b2) regop.isa (5673:57be483cea36)
1// Copyright (c) 2007-2008 The Hewlett-Packard Development Company
2// All rights reserved.
3//
4// Redistribution and use of this software in source and binary forms,
5// with or without modification, are permitted provided that the
6// following conditions are met:
7//
8// The software must be used only for Non-Commercial Use which means any

--- 1034 unchanged lines hidden (view full) ---

1043 break;
1044 case SegSSCheck:
1045 if (selector.si || selector.ti) {
1046 if (!desc.p) {
1047 //FIXME This needs to also push the selector.
1048 return new StackFault;
1049 }
1050 } else {
1// Copyright (c) 2007-2008 The Hewlett-Packard Development Company
2// All rights reserved.
3//
4// Redistribution and use of this software in source and binary forms,
5// with or without modification, are permitted provided that the
6// following conditions are met:
7//
8// The software must be used only for Non-Commercial Use which means any

--- 1034 unchanged lines hidden (view full) ---

1043 break;
1044 case SegSSCheck:
1045 if (selector.si || selector.ti) {
1046 if (!desc.p) {
1047 //FIXME This needs to also push the selector.
1048 return new StackFault;
1049 }
1050 } else {
1051 if ((m5reg.mode != SixtyFourBitMode || m5reg.cpl == 3) ||
1051 if ((m5reg.submode != SixtyFourBitMode ||
1052 m5reg.cpl == 3) ||
1052 !(desc.s == 1 &&
1053 desc.type.codeOrData == 0 && desc.type.w) ||
1054 (desc.dpl != m5reg.cpl) ||
1055 (selector.rpl != m5reg.cpl)) {
1056 return new GeneralProtection(psrc1 & 0xFFFF);
1057 }
1058 }
1059 break;

--- 86 unchanged lines hidden --- 		1053 !(desc.s == 1 &&
1054 desc.type.codeOrData == 0 && desc.type.w) ||
1055 (desc.dpl != m5reg.cpl) ||
1056 (selector.rpl != m5reg.cpl)) {
1057 return new GeneralProtection(psrc1 & 0xFFFF);
1058 }
1059 }
1060 break;

--- 86 unchanged lines hidden ---