--- /dev/null
+* Marvell SD8787 power sequence provider
+
+Required properties:
+- compatible: must be "mmc-pwrseq-sd8787".
+- powerdown-gpios: contains a power down GPIO specifier with the
+                  default active state
+- reset-gpios: contains a reset GPIO specifier with the default
+                  active state
+
+Example:
+
+       wifi_pwrseq: wifi_pwrseq {
+               compatible = "mmc-pwrseq-sd8787";
+               powerdown-gpios = <&twl_gpio 0 GPIO_ACTIVE_LOW>;
+               reset-gpios = <&twl_gpio 1 GPIO_ACTIVE_LOW>;
+       }
 
-Marvell 8897/8997 (sd8897/sd8997/pcie8997) SDIO/PCIE devices
+Marvell 8787/8897/8997 (sd8787/sd8897/sd8997/pcie8997) SDIO/PCIE devices
 ------
 
 This node provides properties for controlling the Marvell SDIO/PCIE wireless device.
 Required properties:
 
   - compatible : should be one of the following:
+       * "marvell,sd8787"
        * "marvell,sd8897"
        * "marvell,sd8997"
        * "pci11ab,2b42"
                 so that the wifi chip can wakeup host platform under certain condition.
                 during system resume, the irq will be disabled to make sure
                 unnecessary interrupt is not received.
+  - vmmc-supply: a phandle of a regulator, supplying VCC to the card
+  - mmc-pwrseq:  phandle to the MMC power sequence node. See "mmc-pwrseq-*"
+                for documentation of MMC power sequence bindings.
 
 Example:
 
 &mmc3 {
        status = "okay";
        vmmc-supply = <&wlan_en_reg>;
+       mmc-pwrseq = <&wifi_pwrseq>;
        bus-width = <4>;
        cap-power-off-card;
        keep-power-in-suspend;