K 10 svn:author V 6 marcel K 8 svn:date V 27 2005-04-16T23:38:32.000000Z K 7 svn:log V 113 Add a kpte command to DDB. It dumps the PTE of a KVA. This helps to analyze faults and TLB/VHPT inconsistencies. END