Searched refs:kernstart (Results 1 – 1 of 1) sorted by relevance
948 pmap_bootstrap(vm_offset_t l0pt, vm_offset_t l1pt, vm_paddr_t kernstart, in pmap_bootstrap() argument961 kern_delta = KERNBASE - kernstart; in pmap_bootstrap()963 printf("pmap_bootstrap %lx %lx %lx\n", l1pt, kernstart, kernlen); in pmap_bootstrap()