K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2008-09-26T05:40:56.619672Z
K 7
svn:log
V 203
Use some casting to get the right addresses.  This is likely unwise
code, but will be OK until there's a 64-bit siba...

With this change, SENTRY5 kernel now compiles for mips, the last of
the holdouts.

END