From 29aceb2acb7611cc5678d6fc235913684af7893e Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Thu, 5 Dec 2024 14:32:28 +1100 Subject: [PATCH] Always dump TCB/vCPU registers when failing to handle a fault Signed-off-by: Ivan-Velickovic --- src/arch/aarch64/fault.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/arch/aarch64/fault.c b/src/arch/aarch64/fault.c index efd5df43..28506669 100644 --- a/src/arch/aarch64/fault.c +++ b/src/arch/aarch64/fault.c @@ -467,6 +467,10 @@ bool fault_handle(size_t vcpu_id, microkit_msginfo msginfo) } if (!success) { + /* Dump the TCB and vCPU registers to hopefully get information as + * to what has gone wrong. */ + tcb_print_regs(vcpu_id); + vcpu_print_regs(vcpu_id); LOG_VMM_ERR("Failed to handle %s fault\n", fault_to_string(label)); }