mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race

[linux/fpc-iii.git] / arch / xtensa / boot / dts / lx60.dts

// SPDX-License-Identifier: GPL-2.0
/dts-v1/;
/include/ "xtfpga.dtsi"
/include/ "xtfpga-flash-4m.dtsi"

/ {
        compatible = "cdns,xtensa-lx60";
        memory@0 {
                device_type = "memory";
                reg = <0x00000000 0x04000000>;
        };
};