VPP_ISPPLOCK
!VPP_ISPPLOCK(vpage)) {
vpage != NULL && VPP_ISPPLOCK(vpage)))) {
if (vpage != NULL && VPP_ISPPLOCK(vpage))
if (VPP_ISPPLOCK(svp) &&
pageflag = VPP_ISPPLOCK(vpage) ? LOCK_PAGE : 0;
if (!VPP_ISPPLOCK(svp))
if (VPP_ISPPLOCK(vpp))
if (!VPP_ISPPLOCK(vpp))
((op == MC_LOCK && !VPP_ISPPLOCK(vpp)) ||
(op == MC_UNLOCK && VPP_ISPPLOCK(vpp)))) {
ASSERT(!VPP_ISPPLOCK(vpp));
ASSERT(VPP_ISPPLOCK(vpp));
pageflags = VPP_ISPPLOCK(vpage) ?
if (VPP_ISPPLOCK(&vpage[pg_idx])) {
if (vpage != NULL && VPP_ISPPLOCK(&vpage[pg_idx])) {