.. | .. |
---|
| 1 | +/* SPDX-License-Identifier: GPL-2.0-only */ |
---|
1 | 2 | /* |
---|
2 | 3 | * Exception handling for Microblaze |
---|
3 | 4 | * |
---|
.. | .. |
---|
30 | 31 | * |
---|
31 | 32 | * Original code |
---|
32 | 33 | * Copyright (C) 2004 Xilinx, Inc. |
---|
33 | | - * |
---|
34 | | - * This program is free software; you can redistribute it and/or modify it |
---|
35 | | - * under the terms of the GNU General Public License version 2 as published |
---|
36 | | - * by the Free Software Foundation. |
---|
37 | 34 | */ |
---|
38 | 35 | |
---|
39 | 36 | /* |
---|
.. | .. |
---|
71 | 68 | #include <asm/entry.h> |
---|
72 | 69 | #include <asm/current.h> |
---|
73 | 70 | #include <linux/linkage.h> |
---|
| 71 | +#include <linux/pgtable.h> |
---|
74 | 72 | |
---|
75 | 73 | #include <asm/mmu.h> |
---|
76 | | -#include <asm/pgtable.h> |
---|
77 | 74 | #include <asm/signal.h> |
---|
78 | 75 | #include <asm/registers.h> |
---|
79 | 76 | #include <asm/asm-offsets.h> |
---|