K 10 svn:author V 6 marcel K 8 svn:date V 27 2013-07-23T02:11:22.131586Z K 7 svn:log V 368 In pmap_mapdev(), if the physical memory range is not covered by an EFI memory descriptor, don't return NULL as the virtual address, return the direct-mapped uncacheable virtual address for it. At first, this was needed only for the Altix 350, but now even some high-end HP machines have devices mapped to physical addresses that aren't covered by the EFI memory map. END