228 xen_pin(pfn_t pfn, level_t lvl)  in xen_pin()
782 	level_t		level,  in htable_alloc()
1184 	level_t		level;  in htable_release()
1285 htable_lookup(hat_t *hat, uintptr_t vaddr, level_t level)  in htable_lookup()
1329 	level_t		level = ht->ht_level;  in htable_acquire()
1365 	level_t		level,  in htable_create()
1369 	level_t		l;  in htable_create()
1488 	level_t level,  in htable_attach()
1676 	level_t l;  in htable_walk()
1677 	level_t max_mapped_level;  in htable_walk()
1777 	level_t level)  in htable_getpte()
1780 	level_t		l;  in htable_getpte()
1849 	level_t	l = ht->ht_level;  in htable_va2entry()
1863 	level_t	l = ht->ht_level;  in htable_e2va()
2071 	level_t		l = ht->ht_level;  in x86pte_set()