228 xen_pin(pfn_t pfn, level_t lvl)  in xen_pin()
778 	level_t		level,  in htable_alloc()
1182 	level_t		level;  in htable_release()
1283 htable_lookup(hat_t *hat, uintptr_t vaddr, level_t level)  in htable_lookup()
1328 	level_t		level = ht->ht_level;  in htable_acquire()
1364 	level_t		level,  in htable_create()
1368 	level_t		l;  in htable_create()
1486 	level_t level,  in htable_attach()
1680 	level_t l;  in htable_walk()
1681 	level_t max_mapped_level;  in htable_walk()
1781 	level_t level)  in htable_getpte()
1784 	level_t		l;  in htable_getpte()
1857 	level_t	l = ht->ht_level;  in htable_va2entry()
1871 	level_t	l = ht->ht_level;  in htable_e2va()
2099 	level_t		l = ht->ht_level;  in x86pte_set()