Index: kernel/generic/src/adt/hash_table.c
===================================================================
--- kernel/generic/src/adt/hash_table.c	(revision 7d307e7eb5d053d50790e7d16579cd967348f4b3)
+++ kernel/generic/src/adt/hash_table.c	(revision 52c79ac323b577fe6bcbf65a35e13e5e0d2043cb)
@@ -54,5 +54,5 @@
 void hash_table_create(hash_table_t *h, count_t m, count_t max_keys, hash_table_operations_t *op)
 {
-	int i;
+	index_t i;
 
 	ASSERT(h);
@@ -60,5 +60,5 @@
 	ASSERT(max_keys > 0);
 	
-	h->entry = malloc(m * sizeof(link_t), 0);
+	h->entry = (link_t *) malloc(m * sizeof(link_t), 0);
 	if (!h->entry) {
 		panic("cannot allocate memory for hash table\n");