[CRIU] [PATCH 09/15] parasite-vdso: add casts from uint64_t

[Cyrill Gorcunov]

On Tue, Apr 12, 2016 at 12:51:36PM +0300, Dmitry Safonov wrote:
> >>
> >>Signed-off-by: Dmitry Safonov <dsafonov at virtuozzo.com>
> >I don't understand this moment, what the problem with (void *) here?
> >The kernel expects pointer to be passed here, how we can reach the
> >situation wheren we strip off the pointer and send invalid value
> >into the kernel? Or it's simply a build problem?
> Just a build problem - gcc warns about uint64_t isn't the same as
> (void *) for 32-bit compat binary. And for print format the same:
> %lx expects (unsigned long), not uint64_t for 32-bit.

OK. Put my ack then on next resend.