(The typo was mine, introduced during a final editing pass.)
while (len > 0) {
/*
- * Pull from the /dev/urandom pool, but it to have been seeded. This
- * ensures strong randomness while only blocking during first system
- * boot.
+ * Pull from the /dev/urandom pool, but require it to have been seeded.
+ * This ensures strong randomness while only blocking during first
+ * system boot.
*
* glibc does not currently provide a binding for getrandom:
* https://sourceware.org/bugzilla/show_bug.cgi?id=17252