pmap_di_store_invl
return (pmap_di_store_invl(p, &prev, &new_prev));
if (!pmap_di_store_invl(p, &prev, &new_prev)) {