K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2003-11-14T22:26:29.000000Z
K 7
svn:log
V 164
Minor source sync with amd64.  For %.*s printf formats, pass in an
int rather than a size_t.  cast the ioapicaddress variable via
uintptr_t before going to void *.

END