u64lt             131 lib/sha512.c     if (u64lt (ctx->total[0], u64lo (bytes)))
u64lt             343 lib/sha512.c                                       u64lo (u64lt (ctx->total[0], lolen))));