- The address lies in the bus space handle, not in the cookie

- Use the right address when calling kva_free()
(Is there any reason why the s3c2xx0 comes with its own version of bs_map/
 bs_unmap ? It seems to be just the same as in bus_space_generic.c)
This commit is contained in:
cognet 2013-08-10 00:31:49 +00:00
parent 340906f426
commit e5d07cf879

View File

@ -200,21 +200,21 @@ s3c2xx0_bs_map(void *t, bus_addr_t bpa, bus_size_t size,
void
s3c2xx0_bs_unmap(void *t, bus_space_handle_t h, bus_size_t size)
{
vm_offset_t va, endva;
vm_offset_t va, endva, origva;
if (pmap_devmap_find_va((vm_offset_t)t, size) != NULL) {
if (pmap_devmap_find_va((vm_offset_t)h, size) != NULL) {
/* Device was statically mapped; nothing to do. */
return;
}
endva = round_page((vm_offset_t)t + size);
va = trunc_page((vm_offset_t)t);
endva = round_page((vm_offset_t)h + size);
origva = va = trunc_page((vm_offset_t)h);
while (va < endva) {
pmap_kremove(va);
va += PAGE_SIZE;
}
kva_free(va, endva - va);
kva_free(va, endva - origva);
}
int