58a59
> #include "arch/x86/segmentregs.hh"
78c79
< case 0:
---
> case SEGMENT_REG_ES:
81c82
< case 1:
---
> case SEGMENT_REG_CS:
84c85
< case 2:
---
> case SEGMENT_REG_SS:
87c88
< case 3:
---
> case SEGMENT_REG_DS:
90c91
< case 4:
---
> case SEGMENT_REG_FS:
93c94
< case 5:
---
> case SEGMENT_REG_GS:
95a97,99
> case SEGMENT_REG_INT:
> ccprintf(os, "INT");
> break;