kernel debug: priv can be NULL early on

diff --git a/kernel/debug.c b/kernel/debug.c
index 9f89363288da832a79ae5875b83284f7a59535d9..7ef956a397f7d86e7df8bd60d0d260021a17b707 100644 (file)
--- a/kernel/debug.c
+++ b/kernel/debug.c
@@ -236,8 +236,9 @@ static void
 print_sigmgr(struct proc *pp)
 {
        endpoint_t sig_mgr, bak_sig_mgr;
-       sig_mgr = priv(pp)->s_sig_mgr;
-       bak_sig_mgr = priv(pp)->s_bak_sig_mgr;
+       sig_mgr = priv(pp) ? priv(pp)->s_sig_mgr : NONE;
+       bak_sig_mgr = priv(pp) ? priv(pp)->s_bak_sig_mgr : NONE;
+       if(sig_mgr == NONE) { printf("no sigmgr"); return; }
        printf("sigmgr ");
        print_endpoint(sig_mgr);
        if(bak_sig_mgr != NONE) {