228 xen_pin(pfn_t pfn, level_t lvl)  in xen_pin()
763 	level_t		level,  in htable_alloc()
1167 	level_t		level;  in htable_release()
1268 htable_lookup(hat_t *hat, uintptr_t vaddr, level_t level)  in htable_lookup()
1313 	level_t		level = ht->ht_level;  in htable_acquire()
1349 	level_t		level,  in htable_create()
1353 	level_t		l;  in htable_create()
1471 	level_t level,  in htable_attach()
1665 	level_t l;  in htable_walk()
1666 	level_t max_mapped_level;  in htable_walk()
1766 	level_t level)  in htable_getpte()
1769 	level_t		l;  in htable_getpte()
1842 	level_t	l = ht->ht_level;  in htable_va2entry()
1856 	level_t	l = ht->ht_level;  in htable_e2va()
2084 	level_t		l = ht->ht_level;  in x86pte_set()