mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / arm / boot / dts / kirkwood-db-88f6281.dts
blobaee6f02b1c801ce89654d84b261a6758af6aad11
1 /*
2  * Marvell DB-88F6281-BP Development Board Setup
3  *
4  * Saeed Bishara <saeed@marvell.com>
5  * Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
6  *
7  * This file is licensed under the terms of the GNU General Public
8  * License version 2.  This program is licensed "as is" without any
9  * warranty of any kind, whether express or implied.
10  */
12 /dts-v1/;
14 #include "kirkwood-db.dtsi"
15 #include "kirkwood-6281.dtsi"
17 / {
18         model = "Marvell DB-88F6281-BP Development Board";
19         compatible = "marvell,db-88f6281-bp", "marvell,kirkwood-88f6281", "marvell,kirkwood";
22 &pciec {
23         status = "okay";
26 &pcie0 {
27         status = "okay";