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

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

1071 (!desc.type.c && desc.dpl != selector.rpl) ||
1072 (desc.type.c && desc.dpl > selector.rpl))
1073 return new GeneralProtection(psrc1 & 0xFFFF);
1074 if (!desc.p)
1075 return new SegmentNotPresent;
1076 break;
1077 }
1078 case SegIntCSCheck:
1079 panic("CS selector checks for interrupts and exceptions"
1080 "not implemented.\\n");
1081 break;
1082 default:
1083 panic("Undefined segment check type.\\n");
1084 }
1085 '''
1086 flag_code = '''
1087 // Check for a NULL selector and set ZF,EZF appropriately.
1088 ccFlagBits = ccFlagBits & ~(ext & (ZFBit | EZFBit));

--- 63 unchanged lines hidden ---