Index: head/sys/arm/mv/armada38x/armada38x_pl310.c
===================================================================
--- head/sys/arm/mv/armada38x/armada38x_pl310.c	(revision 322293)
+++ head/sys/arm/mv/armada38x/armada38x_pl310.c	(revision 322294)
@@ -1,74 +1,77 @@
 /*-
  * Copyright (c) 2017 Stormshield.
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  * 1. Redistributions of source code must retain the above copyright
  *    notice, this list of conditions and the following disclaimer.
  * 2. Redistributions in binary form must reproduce the above copyright
  *    notice, this list of conditions and the following disclaimer in the
  *    documentation and/or other materials provided with the distribution.
  *
  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
 
 #include <sys/cdefs.h>
 __FBSDID("$FreeBSD$");
 
 /*
  * The machine-dependent part of the arm/pl310 driver for Armada 38x SoCs.
  */
 
 #include <sys/types.h>
 #include <sys/param.h>
 #include <sys/systm.h>
 #include <sys/bus.h>
 #include <sys/rman.h>
 #include <sys/lock.h>
 #include <sys/mutex.h>
 
 #include <machine/bus.h>
 #include <machine/pl310.h>
 
 void
 platform_pl310_init(struct pl310_softc *sc)
 {
 	uint32_t reg;
 
 	/*
 	 * Enable power saving modes:
 	 *  - Dynamic Gating stops the clock when the controller is idle.
 	 */
 	reg = pl310_read4(sc, PL310_POWER_CTRL);
 	reg |= POWER_CTRL_ENABLE_GATING;
 	pl310_write4(sc, PL310_POWER_CTRL, reg);
 
 	pl310_write4(sc, PL310_PREFETCH_CTRL, PREFETCH_CTRL_DL |
 	    PREFETCH_CTRL_DATA_PREFETCH | PREFETCH_CTRL_INCR_DL |
 	    PREFETCH_CTRL_DL_ON_WRAP);
+
+	/* Disable L2 cache sync for IO coherent operation */
+	sc->sc_io_coherent = true;
 }
 
 void
 platform_pl310_write_ctrl(struct pl310_softc *sc, uint32_t val)
 {
 
 	pl310_write4(sc, PL310_CTRL, val);
 }
 
 void
 platform_pl310_write_debug(struct pl310_softc *sc, uint32_t val)
 {
 
 	pl310_write4(sc, PL310_DEBUG_CTRL, val);
 }