cgd 60da050b90 fix session pointer field width: make it two characters wider.
(The alpha will use all 8 chars.)
NOTE: use of (addr & ~KERNBASE) is VERY bogus.
1996-06-03 19:00:23 +00:00
..
1996-06-02 21:47:41 +00:00