Index: kernel/generic/src/debug/panic.c
===================================================================
--- kernel/generic/src/debug/panic.c	(revision 7c31d201005bb12c2569505d071530dc62e85d21)
+++ kernel/generic/src/debug/panic.c	(revision e4a4b4413aaef3d49bbd56900f9bc991e990beea)
@@ -81,5 +81,5 @@
 
 	if (istate) {
-		decode_istate(istate);
+		istate_decode(istate);
 		printf("\n");
 	}