jhibbits 6db53037b7 VM_MAXUSER_ADDRESS is highest page start, not highest address.
In case a single page mapping is requested first, which might overlap the user
address space, fix the device map block to the next page.
2016-04-10 15:50:45 +00:00
..
2016-04-08 04:29:05 +00:00
2016-04-08 01:25:25 +00:00
2016-04-09 12:05:23 +00:00
2016-03-16 06:42:15 +00:00
2016-03-10 15:51:43 +00:00