K 10 svn:author V 7 thompsa K 8 svn:date V 27 2008-07-28T16:11:11.454762Z K 7 svn:log V 234 MFC r177874 KERNBASE + 0x00200000 is the same thing as KERNVIRTADDR on this platform, so use the latter in preference to the former. This makes the fake_preload setup be the same between kb920x_machdep.c and avila_machdep.c.... END