Searched refs:xen_pin (Results 1 – 3 of 3) sorted by relevance
311 extern void xen_pin(pfn_t, level_t);
587 xen_pin(hat->hat_htable->ht_pfn, mmu.max_level); in hat_alloc()588 xen_pin(hat->hat_user_ptable, mmu.max_level); in hat_alloc()
228 xen_pin(pfn_t pfn, level_t lvl) in xen_pin() function