On 29-09-23, 07:46, Juergen Gross wrote:> This is populated from a __u64 field. Maybe make it uint64_t?Checkpatch warns about this, will use u64 instead.CHECK: Prefer kernel type 'u64' over 'uint64_t'#124: FILE: drivers/xen/privcmd.c:1097:+ uint64_t addr;-- viresh