promvp
pp->p_vnode == &promvp ||
ASSERT(pp->p_vnode != &promvp);
if (pp->p_vnode == &promvp) {
(void) page_hashin(pp, &promvp,
(void) page_hashin(pp, &promvp,
ASSERT(PAGE_EXCL(rpp) && rpp->p_vnode == &promvp);
for (pp = promvp.v_pages; pp; ) {
if (pp == promvp.v_pages)
ASSERT(page_find(&promvp, pfn));
extern struct vnode promvp;