K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2007-07-30T22:52:52.000000Z
K 7
svn:log
V 469
o Switch to physical addressing before dereferencing the VHPT
  bucket pointer. The virtual mapping may not be present in the
  translation cache. This will result in a nested TLB fault at
  a place we don't handle (and don't want to handle).
o Make sure there's a stop after the rfi instruction, otherwise
  its behaviour is undefined.
o Make sure we switch back to virtual addressing before doing
  a rfi. Behaviour is undefined otherwise.

Approved by: re (blanket)

END