K 10 svn:author V 3 jah K 8 svn:date V 27 2015-10-28T21:17:38.812165Z K 7 svn:log V 103 Retire pmap_dmap_iscurrent(). It is only a wrapper around pmap_is_current(), and is no longer called. END