From c3c08d252cdea1f5026d30e689915fb7c6ed47c8 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Fri, 4 Aug 2006 13:31:06 +0000 Subject: [PATCH] report driver source of grant mismatch --- servers/fs/device.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/servers/fs/device.c b/servers/fs/device.c index 3db2a10d3..81995c19e 100644 --- a/servers/fs/device.c +++ b/servers/fs/device.c @@ -137,7 +137,8 @@ PUBLIC void dev_status(message *m) st.REP_IO_GRANT); if(endpt == NONE) { printf("FS: proc with " - "grant %d not found (revive)\n", + "grant %d from %d not found (revive)\n", + st.m_source, st.REP_IO_GRANT); continue; } -- 2.44.0