kernelheap_init
extern void kernelheap_init(void *, void *, char *, void *, void *);
kernelheap_init(kernelheap, ekernelheap,
kernelheap_init((void *)sysbase, (void *)syslimit,