K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1996-06-08T11:03:19.000000Z
K 7
svn:log
V 236
Stop using the alias `pcb_ptd' for `pcb_tcc.tss_cr3'.  Use the (existing)
alias `pcb_cr3' instead.  That is still one alias too many, but is convenient
for me since I've replaced the tss in the pcb by a few scalar variables in
the pcb.

END