From 9b9fe6f9da57f8dea287a1dd8dbee524180df3d1 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Fri, 4 Aug 2023 00:14:51 +1000 Subject: [PATCH] monitor: fix log messages regarding passive PDs Signed-off-by: Ivan Velickovic --- monitor/src/main.c | 21 +++++++++++---------- 1 file changed, 11 insertions(+), 10 deletions(-) diff --git a/monitor/src/main.c b/monitor/src/main.c index 7706dcc9..3ab09497 100644 --- a/monitor/src/main.c +++ b/monitor/src/main.c @@ -441,27 +441,28 @@ static void monitor(void) seL4_Word tcb_cap = tcbs[badge]; - puts("received message "); - puthex32(label); - puts(" badge: "); - puthex64(badge); - puts(" tcb cap: "); - puthex64(tcb_cap); - puts("\n"); - if (label == seL4_Fault_NullFault && badge < MAX_PDS) { /* This is a request from our PD to become passive */ err = seL4_SchedContext_UnbindObject(scheduling_contexts[badge], tcb_cap); err = seL4_SchedContext_Bind(scheduling_contexts[badge], notification_caps[badge]); if (err != seL4_NoError) { - puts("error binding scheduling context to notification"); + puts("MON|ERROR: could not bind scheduling context to notification object"); } else { + puts("MON|INFO: PD '"); puts(pd_names[badge]); - puts(" is now passive!\n"); + puts("' is now passive!\n"); } continue; } + puts("MON|ERROR: received message "); + puthex32(label); + puts(" badge: "); + puthex64(badge); + puts(" tcb cap: "); + puthex64(tcb_cap); + puts("\n"); + if (badge < MAX_PDS && pd_names[badge][0] != 0) { puts("faulting PD: "); puts(pd_names[badge]);