From 6db02f4a9c83d9d5071b12985a1b2475db5368c4 Mon Sep 17 00:00:00 2001 From: 6eanut Date: Wed, 28 Jan 2026 03:49:37 +0000 Subject: 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 --- executor/common_kvm_arm64.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'executor') 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); -- cgit mrf-deployment