diff options
| author | 6eanut <jiakaiPeanut@gmail.com> | 2026-01-28 03:49:37 +0000 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2026-02-10 14:45:44 +0000 |
| commit | 6db02f4a9c83d9d5071b12985a1b2475db5368c4 (patch) | |
| tree | 80cc84a0e0823062222073d0932522af9d01eab5 /executor | |
| parent | 91d776d358daef41852d3c6541e561a616f5f523 (diff) | |
executor: use uint64 instead of uint64_t
Executor code relies on uint32/uint64 types rather than uint*_t.
Using uint64_t causes type mismatches in generated C reproducers
for programs.
Switch uint64_t to uint64 to keep executor headers consistent.
No functional changes.
Signed-off-by: 6eanut <jiakaiPeanut@gmail.com>
Diffstat (limited to 'executor')
| -rw-r--r-- | executor/common_kvm_arm64.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/common_kvm_arm64.h b/executor/common_kvm_arm64.h index 6442cb491..58cbae1dd 100644 --- a/executor/common_kvm_arm64.h +++ b/executor/common_kvm_arm64.h @@ -380,7 +380,7 @@ static long syz_kvm_assert_syzos_uexit(volatile long a0, volatile long a1, return -1; } - uint64_t actual_code = ((uint64_t*)(run->mmio.data))[0]; + uint64 actual_code = ((uint64*)(run->mmio.data))[0]; if (actual_code != expect) { #if !SYZ_EXECUTOR fprintf(stderr, "[SYZOS-DEBUG] Exit Code Mismatch on VCPU %d\n", cpufd); |