PAGE_HASH_MUTEX
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
ASSERT(MUTEX_HELD(PAGE_HASH_MUTEX(index)));
phm = PAGE_HASH_MUTEX(PAGE_HASH_FUNC(vp, offset));
nphm = PAGE_HASH_MUTEX(index);
ASSERT(phm ? phm == PAGE_HASH_MUTEX(index) : 1);
ASSERT(MUTEX_HELD(PAGE_HASH_MUTEX(PAGE_HASH_FUNC(vp, old->p_offset))));
phm = PAGE_HASH_MUTEX(PAGE_HASH_FUNC(vp, off));
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);
phm = PAGE_HASH_MUTEX(index);