K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2002-08-03T01:02:37.000000Z
K 7
svn:log
V 214
Take advantage of the fact that there is a small 1MB direct mapped region
on x86 in between KERNBASE and the kernel load address.  pmap_mapdev()
can return pointers to this for devices operating in the isa "hole".

END