Annotation of net/* ...copy... that deals with userland pointers +
several bits that fell out of previous patch (trivial annotations)