K 10 svn:author V 6 cognet K 8 svn:date V 27 2006-12-01T12:29:55.000000Z K 7 svn:log V 141 We can have no PV entry here if the previous mapping was unmanaged, and the new one is unmanaged too, so update the KASSERT to reflect this. END