5 Oct
2023
5 Oct
'23
10:07 a.m.
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