K 10 svn:author V 6 marcel K 8 svn:date V 27 2007-05-19T18:25:14.000000Z K 7 svn:log V 109 Fix GCC warning: va = va += PAGE_SIZE contains pointless operation va = va. Fix white space in nearby lines. END