Searched refs:kernlen (Results 1 – 1 of 1) sorted by relevance
949 vm_size_t kernlen) in pmap_bootstrap() argument963 printf("pmap_bootstrap %lx %lx %lx\n", l1pt, kernstart, kernlen); in pmap_bootstrap()994 freemempos = KERNBASE + kernlen; in pmap_bootstrap()