K 10 svn:author V 8 bschmidt K 8 svn:date V 27 2011-04-16T09:39:08.139861Z K 7 svn:log V 67 scratch_paddr has the same address pre-assigned, use that instead. END