Hi all, can I have a review for this request to change the parameters of os::pretouch_memory from char* to void* to avoid a few casts? CR: https://bugs.openjdk.java.net/browse/JDK-8151414 Webrev: http://cr.openjdk.java.net/~tschatzl/8151414/ Testing: jprt Thanks, Thomas