Check if devices are direct-mapped individually instead of just checking
the value of hw_direct_map.
This commit is contained in:
nwhitehorn 2010-07-09 14:00:22 +00:00
parent f338f6d0f8
commit 087c04e6ae

View File

@ -99,11 +99,11 @@ bs_remap_earlyboot(void)
int i;
vm_offset_t pa, spa;
if (hw_direct_map)
return;
for (i = 0; i < earlyboot_map_idx; i++) {
spa = earlyboot_mappings[i].addr;
if (pmap_dev_direct_mapped(spa, earlyboot_mappings[i].size)
== 0)
continue;
pa = trunc_page(spa);
while (pa < spa + earlyboot_mappings[i].size) {