kernel/alloc: print who allocated unfreed memory on shutdown

1 files changed, 7 insertions, 4 deletions

diff --git a/tools/stacktrace_resolve.awk b/tools/stacktrace_resolve.awk
index a8254a7..1b4742d 100644
--- a/tools/stacktrace_resolve.awk
+++ b/tools/stacktrace_resolve.awk
@@ -1,9 +1,12 @@
 /k\/[0-9A-Fa-f]{8}/ {
 	print;
-	addr = substr($0, match($0, /k\/[0-9A-Fa-f]{8}/) + 2, RLENGTH - 2);
-	if (addr != "00000000") {
-		printf "    ";
-		system("addr2line -psfe out/fs/boot/kernel.bin 0x" addr);
+	while (match($0, /k\/[0-9A-Fa-f]{8}/)) {
+		addr = substr($0, RSTART + 2, RLENGTH - 2);
+		if (addr != "00000000") {
+			printf "    ";
+			system("addr2line -psfe out/fs/boot/kernel.bin 0x" addr);
+		}
+		$0 = substr($0, RSTART + RLENGTH);
 	}
 	next;
 }