Searched refs:hat_kern_alloc (Results 1 – 3 of 3) sorted by relevance
247 extern void hat_kern_alloc(caddr_t segmap_base, size_t segmap_size,
227 hat_kern_alloc( in hat_kern_alloc() function
1844 hat_kern_alloc((caddr_t)segmap_start, segmapsize, ekernelheap); in startup_vm()