K 10 svn:author V 5 jceel K 8 svn:date V 27 2012-08-14T17:53:52.007521Z K 7 svn:log V 136 Mark arm_pmap_devmap as weak reference, to allow it being NULL on ports which not use new machdep infrastructure. Fix one debug printf. END