K 10 svn:author V 4 jake K 8 svn:date V 27 2002-05-29T05:49:59.000000Z K 7 svn:log V 185 Use a contrived 'tlb_entry' structure for passing the mappings for the kernel text and data from the loader to the kernel, so that the tte format is not part of the loader->kernel ABI. END