From c96f11a3a42272152e5af9b801a32490748f1f7e Mon Sep 17 00:00:00 2001 From: Alexander Potapenko Date: Tue, 10 Feb 2026 17:16:17 +0100 Subject: executor: dump GPRs in dump_vcpu_state() This is only needed for tests generated by prog2c. --- executor/common_kvm_amd64.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'executor') diff --git a/executor/common_kvm_amd64.h b/executor/common_kvm_amd64.h index e99e10a0a..2c9c12a9d 100644 --- a/executor/common_kvm_amd64.h +++ b/executor/common_kvm_amd64.h @@ -1288,6 +1288,9 @@ static void dump_vcpu_state(int cpufd, struct kvm_run* run) fprintf(stderr, "VCPU registers:\n"); fprintf(stderr, " rip: 0x%llx, rsp: 0x%llx, rflags: 0x%llx\n", regs.rip, regs.rsp, regs.rflags); + fprintf(stderr, " rax: 0x%llx, rbx: 0x%llx, rcx: 0x%llx, rdx: 0x%llx\n", + regs.rax, regs.rbx, regs.rcx, regs.rdx); + fprintf(stderr, " rsi: 0x%llx, rdi: 0x%llx\n", regs.rsi, regs.rdi); fprintf(stderr, "VCPU sregs:\n"); fprintf(stderr, " cr0: 0x%llx, cr2: 0x%llx, cr3: 0x%llx, cr4: 0x%llx\n", sregs.cr0, sregs.cr2, sregs.cr3, sregs.cr4); -- cgit mrf-deployment