changed return type of kmalloc to void *