K 10 svn:author V 6 marcel K 8 svn:date V 27 2011-08-05T23:10:47.919104Z K 7 svn:log V 330 Follow-up commit: refactor pmap_kextract() to make it easier to catch and debug issues like the one fixed in the previous commit: Replace all return statements with goto statements so that we end up at a single place with a value for the physical address. Print a message for all unknown KVA addresses. Approved by: re (blanket) END