diff options
author | Paul Bolle <pebolle@tiscali.nl> | 2014-01-10 01:28:46 +0100 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2014-01-15 12:01:48 +0100 |
commit | e81d1ad32753cdeaef56b9bffe3b8ab7b5c776e5 (patch) | |
tree | a91791b215e5cc0aa37e5ad031ef5b9b3da249cc /drivers/video/i740fb.c | |
parent | 26a865f4aa8e66a6d94958de7656f7f1b03c6c56 (diff) |
kvm: vfio: silence GCC warning
Building vfio.o triggers a GCC warning (when building for 32 bits x86):
arch/x86/kvm/../../../virt/kvm/vfio.c: In function 'kvm_vfio_set_group':
arch/x86/kvm/../../../virt/kvm/vfio.c:104:22: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
void __user *argp = (void __user *)arg;
^
Silence this warning by casting arg to unsigned long.
argp's current type, "void __user *", is always casted to "int32_t
__user *". So its type might as well be changed to "int32_t __user *".
Signed-off-by: Paul Bolle <pebolle@tiscali.nl>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'drivers/video/i740fb.c')
0 files changed, 0 insertions, 0 deletions