def __str__(self): if self._strval: return self._strval if not self.offset.isDiscrete(): return 'VMCS::%s' % self.offset self._strval = 'VMCS_%s' % VMCS_NAMES.get(self.offset.solve()) return self._strval