Looks fine. I suppose the (void *) pointer would always be 64bit.

-JB-

On 08/01/2014 02:45 AM, [email protected] wrote:
Dmitry,

It looks good.

Thanks,
Serguei

On 7/26/14 3:31 AM, Dmitry Samersoff wrote:
Hi Everybody,

Please review an one line fix:

http://cr.openjdk.java.net/~dsamersoff/JDK-8049049/webrev.01/




Reply via email to