uvm_ra_freectx
uvm_ra_freectx(vp->v_ractx);
void uvm_ra_freectx(struct uvm_ractx *);
uvm_ra_freectx(ra);