mmu_info_t
mmu_info_t xkb_mmu;
xkb_get_pte(mmu_info_t *mmu, char *ptep)
mmu_info_t *mmu = &xkb->xkb_mmu;