Searched refs:kernlen (Results 1 – 4 of 4) sorted by relevance
480 vm_size_t kernlen; in initriscv() local566 kernlen = (lastaddr - KERNBASE); in initriscv()567 pmap_bootstrap(rvbp->kern_l1pt, rvbp->kern_phys, kernlen); in initriscv()
619 pmap_bootstrap(vm_offset_t l1pt, vm_paddr_t kernstart, vm_size_t kernlen) in pmap_bootstrap() argument631 printf("pmap_bootstrap %lx %lx %lx\n", l1pt, kernstart, kernlen); in pmap_bootstrap()684 freemempos = roundup2(KERNBASE + kernlen, PAGE_SIZE); in pmap_bootstrap()
70 variable kernlen333 0 kernlen ! \ initialize length of value357 dup kernlen ! \ store entire value length as kernlen360 \ find delimiter/end to determine kernlen366 kernlen @ 1+ kernlen ! \ incrememnt375 over kernlen @ kerndefault count compare if378 kerndefault count swap drop kernlen !387 over kernlen @ ( c-addr/u -- c-addr/u c-addr/u2 )417 kernlen @ - swap kernlen @ + swap ( c-addr/u -- c-addr'/u' )
1299 pmap_bootstrap(vm_size_t kernlen) in pmap_bootstrap() argument1339 bs_state.freemempos = KERNBASE + kernlen; in pmap_bootstrap()