| .. | .. |
|---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-or-later |
|---|
| 1 | 2 | /* |
|---|
| 2 | 3 | * GE IMP3A Board Setup |
|---|
| 3 | 4 | * |
|---|
| 4 | 5 | * Author Martyn Welch <martyn.welch@ge.com> |
|---|
| 5 | 6 | * |
|---|
| 6 | 7 | * Copyright 2010 GE Intelligent Platforms Embedded Systems, Inc. |
|---|
| 7 | | - * |
|---|
| 8 | | - * This program is free software; you can redistribute it and/or modify it |
|---|
| 9 | | - * under the terms of the GNU General Public License as published by the |
|---|
| 10 | | - * Free Software Foundation; either version 2 of the License, or (at your |
|---|
| 11 | | - * option) any later version. |
|---|
| 12 | 8 | * |
|---|
| 13 | 9 | * Based on: mpc85xx_ds.c (MPC85xx DS Board Setup) |
|---|
| 14 | 10 | * Copyright 2007 Freescale Semiconductor Inc. |
|---|
| .. | .. |
|---|
| 201 | 197 | } |
|---|
| 202 | 198 | |
|---|
| 203 | 199 | machine_arch_initcall(ge_imp3a, mpc85xx_common_publish_devices); |
|---|
| 204 | | - |
|---|
| 205 | | -machine_arch_initcall(ge_imp3a, swiotlb_setup_bus_notifier); |
|---|
| 206 | 200 | |
|---|
| 207 | 201 | define_machine(ge_imp3a) { |
|---|
| 208 | 202 | .name = "GE_IMP3A", |
|---|