Index: arch/mips32/src/mips32.c
===================================================================
--- arch/mips32/src/mips32.c	(revision 0e248572e219d332c1881e47e4fd7bc9890c42a3)
+++ arch/mips32/src/mips32.c	(revision f7ea8fab193904c8fb98dc5ae80e55c0da346a8f)
@@ -119,5 +119,5 @@
 __address supervisor_sp __attribute__ ((section (".text")));
 
-void userspace(void)
+void userspace(__address entry)
 {
 	/* EXL=1, UM=1, IE=1 */
@@ -125,5 +125,5 @@
 					      cp0_status_um_bit |
 					      cp0_status_ie_enabled_bit));
-	cp0_epc_write(UTEXT_ADDRESS);
+	cp0_epc_write(entry);
 	userspace_asm(USTACK_ADDRESS+PAGE_SIZE);
 	while (1)