K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2009-09-11T15:38:27.408889Z
K 7
svn:log
V 402
Fix a number of problems related to calling into a 32-bit OFW
implementation. OFW cannot save the non-volatile registers properly,
since it stores them as 32-bit quantities, so we have to do that, and
also properly sign-extend its output, and take care that type promotion
maintains sign info when passing things from firmware back to 64-bit
C code. This brings the boot much further on real hardware.

END