| .. | .. |
|---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
|---|
| 1 | 2 | /* |
|---|
| 2 | 3 | * linux/arch/arm/mach-integrator/core.c |
|---|
| 3 | 4 | * |
|---|
| 4 | 5 | * Copyright (C) 2000-2003 Deep Blue Solutions Ltd |
|---|
| 5 | | - * |
|---|
| 6 | | - * This program is free software; you can redistribute it and/or modify |
|---|
| 7 | | - * it under the terms of the GNU General Public License version 2, as |
|---|
| 8 | | - * published by the Free Software Foundation. |
|---|
| 9 | 6 | */ |
|---|
| 10 | 7 | #include <linux/types.h> |
|---|
| 11 | 8 | #include <linux/kernel.h> |
|---|
| .. | .. |
|---|
| 24 | 21 | #include <linux/stat.h> |
|---|
| 25 | 22 | #include <linux/of.h> |
|---|
| 26 | 23 | #include <linux/of_address.h> |
|---|
| 24 | +#include <linux/pgtable.h> |
|---|
| 27 | 25 | |
|---|
| 28 | 26 | #include <asm/mach-types.h> |
|---|
| 29 | 27 | #include <asm/mach/time.h> |
|---|
| 30 | | -#include <asm/pgtable.h> |
|---|
| 31 | 28 | |
|---|
| 32 | 29 | #include "hardware.h" |
|---|
| 33 | 30 | #include "cm.h" |
|---|