K 10 svn:author V 3 alc K 8 svn:date V 27 2010-10-30T23:49:37.120850Z K 7 svn:log V 47 Add another safety belt to pmap_demote_DMAP(). END