Symbol: MMU_TTE_CACHE_INVALIDATE
usr/src/uts/sun4u/io/px/px_hlib.c
1723
CSR_XS(csr_base, MMU_TTE_CACHE_INVALIDATE, -1ull);
usr/src/uts/sun4u/io/px/px_hlib.c
2763
CSR_XS((caddr_t)dev_hdl, MMU_TTE_CACHE_INVALIDATE, -1ull);