marcel 2007-07-30 22:52:52 UTC
FreeBSD src repository
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)
Revision Changes Path
1.61 +62 -37 src/sys/ia64/ia64/exception.S