vmp_get_writable
void *vmp_get_writable(const vm_page_t *);
hva = (caddr_t)vmp_get_writable(vmp);
return ((caddr_t)vmp_get_writable(*vmp) + (gpa - hold_gpa));
return (vmp_get_writable((const vm_page_t *)vmmp));