Lines Matching defs:kernstart
154 vm_offset_t kernstart;
703 debugf(" kernstart: %#zx\n", kernstart);
706 if (data_end - kernstart > kernsize) {
707 kernsize += tlb1_mapin_region(kernstart + kernsize,
708 kernload + kernsize, (data_end - kernstart) - kernsize,
711 data_end = kernstart + kernsize;
755 debugf(" kernstart = 0x%"PRI0ptrX"\n", kernstart);
900 kernel_pte_alloc(virtual_avail, kernstart);
2838 kernstart = trunc_page(mas2);