K 10
svn:author
V 10
nwhitehorn
K 8
svn:date
V 27
2009-11-18T17:47:40.001694Z
K 7
svn:log
V 312
Add padding for arguments passed as 64-bit types. The 32-bit SVR4 ABI
requires that 64-bit values be passed starting only in odd-numbered
registers. This lets me bring a PPC64 kernel up multiuser!

Note that this is a hack (see: changes to an autogenerated file). Better
solutions will hopefully be forthcoming.

END