Symbol: xen_pin
usr/src/uts/i86pc/vm/hat_i86.c
587
xen_pin(hat->hat_htable->ht_pfn, mmu.max_level);
usr/src/uts/i86pc/vm/hat_i86.c
588
xen_pin(hat->hat_user_ptable, mmu.max_level);
usr/src/uts/i86pc/vm/htable.h
311
extern void xen_pin(pfn_t, level_t);