Hi Andrew, On 27/06/2020 1:40 am, Andrew Haley wrote: > In several places the AArch64 back end uses integer types from the kernel such as u_int32_t rather than the standard C type uint64_t. These should be removed. > > http://cr.openjdk.java.net/~aph/8248403/ That all looks good to me. Thanks, David -----