.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /* |
---|
2 | 3 | * Keystone SOC SMP platform code |
---|
3 | 4 | * |
---|
.. | .. |
---|
6 | 7 | * Santosh Shilimkar <santosh.shillimkar@ti.com> |
---|
7 | 8 | * |
---|
8 | 9 | * Based on platsmp.c, Copyright (C) 2002 ARM Ltd. |
---|
9 | | - * |
---|
10 | | - * This program is free software; you can redistribute it and/or modify it |
---|
11 | | - * under the terms and conditions of the GNU General Public License, |
---|
12 | | - * version 2, as published by the Free Software Foundation. |
---|
13 | 10 | */ |
---|
14 | 11 | |
---|
15 | 12 | #include <linux/init.h> |
---|
16 | 13 | #include <linux/smp.h> |
---|
17 | 14 | #include <linux/io.h> |
---|
| 15 | +#include <linux/pgtable.h> |
---|
18 | 16 | |
---|
19 | 17 | #include <asm/smp_plat.h> |
---|
20 | 18 | #include <asm/prom.h> |
---|
21 | 19 | #include <asm/tlbflush.h> |
---|
22 | | -#include <asm/pgtable.h> |
---|
23 | 20 | |
---|
24 | 21 | #include "keystone.h" |
---|
25 | 22 | |
---|