level_t
for (level_t l = mmu.max_level; l >= 0; l--)
level_t curlevel;
hati_mkpte(pfn_t pfn, uint_t attr, level_t level, uint_t flags)
level_t l;
hati_sync_pte_to_page(page_t *pp, x86pte_t pte, level_t level)
level_t l = ht->ht_level;
level_t level,
level_t level = 0;
level_t level;
level_t level;
level_t l = ht->ht_level;
level_t hkr_level;
level_t l;
level_t l;
level_t level;
level_t level;
level_t lvl;
extern pfn_t pte2pfn(x86pte_t, level_t);
level_t level;
htable_lookup(hat_t *hat, uintptr_t vaddr, level_t level)
level_t level = ht->ht_level;
level_t level,
level_t l;
level_t level,
level_t l;
level_t max_mapped_level;
level_t level)
level_t l;
level_t l = ht->ht_level;
level_t l = ht->ht_level;
level_t l = ht->ht_level;
xen_pin(pfn_t pfn, level_t lvl)
level_t level,
extern htable_t *htable_lookup(struct hat *hat, uintptr_t vaddr, level_t level);
extern htable_t *htable_create(struct hat *hat, uintptr_t vaddr, level_t level,
level_t);
extern void htable_attach(struct hat *, uintptr_t, level_t, struct htable *,
extern void xen_pin(pfn_t, level_t);
xen_kpm_create(paddr_t paddr, level_t lvl)
level_t start_level;
level_t l;
level_t lpagel = mmu.max_page_level;
level_t l;
level_t level = 0;
level_t level = 0;
level_t level = 0;
level_t l = 0;
pte2pfn(x86pte_t pte, level_t l)