MMU_TTE_CACHE_INVALIDATE
CSR_XS(csr_base, MMU_TTE_CACHE_INVALIDATE, -1ull);
CSR_XS((caddr_t)dev_hdl, MMU_TTE_CACHE_INVALIDATE, -1ull);