x86: remove unnecessary cast on void pointer
authorSimran Singhal <singhalsimran0@gmail.com>
Tue, 31 Mar 2020 06:50:25 +0000 (08:50 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 31 Mar 2020 06:50:25 +0000 (08:50 +0200)
commit922f59a4302939471254b91c921daa5bd7c7e3fa
tree7dd92d588e543fda94fed03653ccc59365b36850
parentf57ae00635da429cee02373dc909542a411a09e5
x86: remove unnecessary cast on void pointer

Assignment to a typed pointer is sufficient in C.
No cast is needed.

Also, changed some u64/u32 to uint64_t/uint32_t.

Signed-off-by: Simran Singhal <singhalsimran0@gmail.com>
Reviewed-by: Roger Pau Monné <roger.pau@citrix.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/acpi/cpufreq/powernow.c
xen/arch/x86/cpu/vpmu.c
xen/arch/x86/hpet.c
xen/arch/x86/hvm/save.c
xen/arch/x86/hvm/vmx/vvmx.c