K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1997-05-16T10:40:00.000000Z
K 7
svn:log
V 300
Removed some useless code:
- gcc assumes that %ecx and %edx are clobbered (due to calling
  conventions), thus there is no need for saving/restoring those two
  registers.
- %es is reset to default value by real_to_prot, thus there is no need
  for saving/restorig that register.
Submitted by:	tegge

END