diff --git a/drivers/memory/random.c b/drivers/memory/random.c
index f49320480..ce1ac1a8c 100644
--- a/drivers/memory/random.c
+++ b/drivers/memory/random.c
@@ -64,7 +64,7 @@ PUBLIC int random_isseeded()
 
 PUBLIC void random_update(source, buf, count)
 int source;
-unsigned long *buf;
+unsigned short *buf;
 int count;
 {
 	int i;
diff --git a/drivers/memory/random.h b/drivers/memory/random.h
index ffd6b3694..f1318aad2 100644
--- a/drivers/memory/random.h
+++ b/drivers/memory/random.h
@@ -6,7 +6,7 @@ Public interface to the random number generator
 
 _PROTOTYPE( void random_init, (void)					);
 _PROTOTYPE( int random_isseeded, (void)					);
-_PROTOTYPE( void random_update, (int source, unsigned long *buf, 
+_PROTOTYPE( void random_update, (int source, unsigned short *buf, 
 							int count)	);
 _PROTOTYPE( void random_getbytes, (void *buf, size_t size)		);
 _PROTOTYPE( void random_putbytes, (void *buf, size_t size)		);