Symbol: CHECK_PAGE_LOCK
usr/src/uts/i86xpv/os/xen_mmu.c
429
CHECK_PAGE_LOCK(pfn);
usr/src/uts/i86xpv/os/xen_mmu.c
440
CHECK_PAGE_LOCK(pfn);