kernel: Debug printing at live update time.

Change-Id: I0fa896eb248b3b62e1858f76196d3d6862a30f2b

diff --git a/minix/kernel/system/do_update.c b/minix/kernel/system/do_update.c
index 089037b88f460c2a695fb090ad8993b89b502a5e..1a111da3e9ba364e8b3f3079be0036beeabe9c42 100644 (file)
--- a/minix/kernel/system/do_update.c
+++ b/minix/kernel/system/do_update.c
@@ -86,6 +86,8 @@ int do_update(struct proc * caller, message * m_ptr)
   proc_stacktrace(src_rp);
   proc_stacktrace(dst_rp);
   printf("do_update: curr ptproc %d\n", get_cpulocal_var(ptproc)->p_endpoint);
+  printf("do_update: endpoint %d rts flags %x asyn tab %08x asyn endpoint %d grant tab %08x grant endpoint %d\n", src_rp->p_endpoint, src_rp->p_rts_flags, priv(src_rp)->s_asyntab, priv(src_rp)->s_asynendpoint, priv(src_rp)->s_grant_table, priv(src_rp)->s_grant_endpoint);
+  printf("do_update: endpoint %d rts flags %x asyn tab %08x asyn endpoint %d grant tab %08x grant endpoint %d\n", dst_rp->p_endpoint, dst_rp->p_rts_flags, priv(dst_rp)->s_asyntab, priv(dst_rp)->s_asynendpoint, priv(dst_rp)->s_grant_table, priv(dst_rp)->s_grant_endpoint);
 #endif
 
   /* Let destination inherit allowed IRQ, I/O ranges, and memory ranges. */
@@ -149,6 +151,8 @@ int do_update(struct proc * caller, message * m_ptr)
   proc_stacktrace(src_rp);
   proc_stacktrace(dst_rp);
   printf("do_update: curr ptproc %d\n", get_cpulocal_var(ptproc)->p_endpoint);
+  printf("do_update: endpoint %d rts flags %x asyn tab %08x asyn endpoint %d grant tab %08x grant endpoint %d\n", src_rp->p_endpoint, src_rp->p_rts_flags, priv(src_rp)->s_asyntab, priv(src_rp)->s_asynendpoint, priv(src_rp)->s_grant_table, priv(src_rp)->s_grant_endpoint);
+  printf("do_update: endpoint %d rts flags %x asyn tab %08x asyn endpoint %d grant tab %08x grant endpoint %d\n", dst_rp->p_endpoint, dst_rp->p_rts_flags, priv(dst_rp)->s_asyntab, priv(dst_rp)->s_asynendpoint, priv(dst_rp)->s_grant_table, priv(dst_rp)->s_grant_endpoint);
 #endif
 
 #ifdef CONFIG_SMP