Can anyone help clarify details about the FreeBSD system call interface?

[Steven Stewart-Gallus]

Okay, I've fixed up my patches and want to submit them. Obviously,
I'll CC the conversation here but how should I submit the patches? I
find it strange that the developer's handbook doesn't cover this
case. Perhaps that is another thing that needs patching. I know I
should message freebsd-doc and CC freebsd-afs but is there any formal
procedure or something?

Thank you,
Steven Stewart-Gallus