segkmem_kvmm_init
extern void segkmem_kvmm_init(void *, size_t);
segkmem_kvmm_init(segkvmm_base, mmu_ptob(segkvmmsize));