On 9/26/20 7:04 AM, Yonggang Luo wrote: > @@ -72,7 +72,7 @@ static void vcpu_tb_exec(unsigned int cpu_index, void > *udata) > CPUCount *count = max_cpus ? > g_ptr_array_index(counts, cpu_index) : &inline_count; > > - unsigned long n_insns = (unsigned long)udata; > + uint64_t n_insns = (uint64_t)udata;
This needs to be uintptr_t. r~
