Lines Matching defs:kernsize
123 vm_size_t kernsize;
985 * Note that kernel end does not necessarily relate to kernsize.
986 * kernsize is the size of the kernel that is actually mapped.
1028 if (data_end - kernstart > kernsize) {
1029 kernsize += tlb1_mapin_region(kernstart + kernsize,
1030 kernload + kernsize, (data_end - kernstart) - kernsize);
1032 data_end = kernstart + kernsize;
1075 phys_kernelend = kernload + kernsize;
1079 debugf(" kernsize = 0x%08x\n", kernsize);
2516 if (va >= kernstart + kernsize) {
3074 kernsize += (tsz > 0) ? tsize2size(tsz) : 0;