On 05.12.2019 23:30, Andrew Cooper wrote: > Most users pass a vcpu pointer, and only stopmachine_action() takes an integer > parameter. Switch to using void * to substantially reduce the number of > explicit casts. > > No functional change. > > Signed-off-by: Andrew Cooper <andrew.coop...@citrix.com>
Acked-by: Jan Beulich <jbeul...@suse.com> _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
