pte_t
extern pte_t *tsb_dmmu;
pte_t *tsb_dmmu;
pte_t *tsb_immu;
pte_t tte;
pte_t tte;
return (tsbptr/sizeof(pte_t));
valloc(tsb_dmmu, pte_t, TSBSIZE);
valloc(tsb_immu, pte_t, TSBSIZE);
static int check_present_pte(pte_t *pte, unsigned long addr, void *data)
pte_t ptent = ptep_get(pte);
static int check_absent_pte(pte_t *pte, unsigned long addr, void *data)
pte_t ptent = ptep_get(pte);
static int remap_sg(pte_t *pte, unsigned long addr, void *data)
static int remap_pfn(pte_t *pte, unsigned long addr, void *data)