--- a/sys/vfs/devfs/devfs_core.c	2026-09-05 04:06:38.221330904 +0000
+++ b/sys/vfs/devfs/devfs_core.c	2026-09-05 04:06:38.245330598 +0000
@@ -7,9 +7,13 @@
 static void
 devfs_uninit(void)
 {
+	devfs_msg_t msg;
+
 	devfs_debug(DEVFS_DEBUG_DEBUG, "devfs_uninit() called\n");
 
-	devfs_msg_send(DEVFS_TERMINATE_CORE, NULL);
+	msg = devfs_msg_get();
+	devfs_msg_send(DEVFS_TERMINATE_CORE, msg);
+	/* msg is auto-freed through the devfs_dispose_port reply */
 	while (devfs_run)
 		tsleep(td_core, 0, "devfsc", hz*10);
 	tsleep(td_core, 0, "devfsc", hz);