Loop in userland_sysctl()

I'm able to provoke a loop in kern/kern_sysctl.c:

 1316           do {
 1317               req2 = req;
 1318               error = sysctl_root(0, name, namelen, &req2);
 1319           } while (error == EAGAIN);

Is the "do while" realy required here?

Details _at_ http://people.freebsd.org/~pho/stress/cons44.html

-- 
Peter Holm