52c52
< __FBSDID("$FreeBSD: stable/10/sys/powerpc/booke/pmap.c 265996 2014-05-14 00:51:26Z ian $");
---
> __FBSDID("$FreeBSD: stable/10/sys/powerpc/booke/pmap.c 265998 2014-05-14 01:16:05Z ian $");
191a192
> static vm_offset_t tlb1_map_base = VM_MAX_KERNEL_ADDRESS;
2683a2685,2696
> /*
> * We leave a hole for device direct mapping between the maximum user
> * address (0x8000000) and the minimum KVA address (0xc0000000). If
> * devices are in there, just map them 1:1. If not, map them to the
> * device mapping area about VM_MAX_KERNEL_ADDRESS. These mapped
> * addresses should be pulled from an allocator, but since we do not
> * ever free TLB1 entries, it is safe just to increment a counter.
> * Note that there isn't a lot of address space here (128 MB) and it
> * is not at all difficult to imagine running out, since that is a 4:1
> * compression from the 0xc0000000 - 0xf0000000 address space that gets
> * mapped there.
> */
2688c2701
< va = kva_alloc(size);
---
> va = atomic_fetchadd_int(&tlb1_map_base, size);
3088c3101
< debugf("mapped size 0x%08x (wasted space 0x%08x)\n",
---
> printf("mapped size 0x%08x (wasted space 0x%08x)\n",
3151d3163
< static vm_offset_t early_io_map_base = VM_MAX_KERNEL_ADDRESS;
3168c3180
< va = early_io_map_base + (pa - pa_base);
---
> va = tlb1_map_base + (pa - pa_base);
3172c3184
< tlb1_set_entry(early_io_map_base, pa_base, sz, _TLB_ENTRY_IO);
---
> tlb1_set_entry(tlb1_map_base, pa_base, sz, _TLB_ENTRY_IO);
3175c3187
< early_io_map_base += sz;
---
> tlb1_map_base += sz;