- scoffset = *ptr++;
- len--;
- if (scoffset == 253) {
- scoffset = *ptr++;
- len--;
- }
- else if (scoffset == 254) {
- scoffset = ptr[0] + ptr[1]*256;
- ptr += 2;
- len -= 2;
- }
- else if (scoffset == 255) {
- scoffset = ptr[0] + (ptr[1]<<8) + (ptr[2]<<16) + (ptr[3]<<24);
- ptr += 4;
- len -= 4;
- }
- sc = scoffset & 0x1f;
- offset = scoffset >> 5;
-
- printf(" SC: %d, Offset: %d", sc, offset);
- switch (sc) {
- case sc_AnyReg:
- case sc_DescriptorReg:
- putchar('\t');
- brief_print(*os_context_register_addr(context, offset));
- break;
+ scoffset = *ptr++;
+ len--;
+ if (scoffset == 253) {
+ scoffset = *ptr++;
+ len--;
+ }
+ else if (scoffset == 254) {
+ scoffset = ptr[0] + ptr[1]*256;
+ ptr += 2;
+ len -= 2;
+ }
+ else if (scoffset == 255) {
+ scoffset = ptr[0] + (ptr[1]<<8) + (ptr[2]<<16) + (ptr[3]<<24);
+ ptr += 4;
+ len -= 4;
+ }
+ sc = scoffset & 0x1f;
+ offset = scoffset >> 5;
+
+ printf(" SC: %d, Offset: %d", sc, offset);
+ switch (sc) {
+ case sc_AnyReg:
+ case sc_DescriptorReg:
+ putchar('\t');
+ brief_print(*os_context_register_addr(context, offset));
+ break;