Hi Robert Watson I'm not sure whether you are the maintainer of /usr/src/sys/kern/kern_resource.c. Appreciate if you could share some thoughts on this issue on freebsd-bugs mailing list. Kind regards Unga