Searched refs:dvma_ptr (Results 1 – 1 of 1) sorted by relevance
1847 uint64_t *dvma_ptr, uint64_t *npages_ptr, dev_info_t *rdip) in PTE_clear_all() argument1859 dvma = *dvma_ptr; in PTE_clear_all()1876 *dvma_ptr = dvma; in PTE_clear_all()2095 uint64_t *dvma_ptr, uint64_t *nvpages_ptr, immu_dcookie_t *dcookies, in PTE_set_all() argument2111 dvma = *dvma_ptr; in PTE_set_all()2159 *dvma_ptr = dvma; in PTE_set_all()2162 *dvma_ptr = 0; in PTE_set_all()