K 10 svn:author V 3 ian K 8 svn:date V 27 2014-05-18T00:32:35.320388Z K 7 svn:log V 73 MFC 265852: Map device memory using PTE_DEVICE rather than PTE_NOCACHE. END