vmp_release
if (vmp_release(vmp)) {
bool vmp_release(vm_page_t *);
(void) vmp_release(vmp);
(void) vmp_release((vm_page_t *)copyinfo[idx].cookie);
(void) vmp_release(*vmp);
(void) vmp_release(*vmp);
(void) vmp_release((vm_page_t *)vmmp);