Searched refs:tsb_cookie (Results 1 – 2 of 2) sorted by relevance
92 uint16_t tsb_cookie; member
220 pxu_p->tsb_cookie = iommu_tsb_alloc(pxu_p->portid); in px_lib_dev_init()221 pxu_p->tsb_size = iommu_tsb_cookie_to_size(pxu_p->tsb_cookie); in px_lib_dev_init()222 pxu_p->tsb_vaddr = iommu_tsb_cookie_to_va(pxu_p->tsb_cookie); in px_lib_dev_init()317 iommu_tsb_free(pxu_p->tsb_cookie); in px_lib_dev_fini()