K 10 svn:author V 6 andrew K 8 svn:date V 27 2014-07-31T15:12:56.194711Z K 7 svn:log V 45 Add pmap_{un,}mapdev to the required header. END