removed PortalInternal parameter to DmaManager_dCacheFlushInval
changed names DmaManager_dCacheFlushInval and 'dmap->dCacheFlushInval' to portalDCacheFlushInval (since portal parameter not needed)