diff options
| author | Alexander Potapenko <glider@google.com> | 2026-02-10 17:16:17 +0100 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2026-02-11 07:33:38 +0000 |
| commit | c96f11a3a42272152e5af9b801a32490748f1f7e (patch) | |
| tree | ac7024159f474cb8f028f60551c5839dd5012b9a /executor | |
| parent | 441e25b7d7c63feca88d8ce1929e6bec29fb9019 (diff) | |
executor: dump GPRs in dump_vcpu_state()
This is only needed for tests generated by prog2c.
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common_kvm_amd64.h | 3 |
1 files changed, 3 insertions, 0 deletions
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); |