b2441318 |
1 | /* SPDX-License-Identifier: GPL-2.0 */ |
3dfcb315 AK |
2 | #ifndef _ASM_POWERPC_BOOK3S_PGTABLE_H |
3 | #define _ASM_POWERPC_BOOK3S_PGTABLE_H |
4 | |
5 | #ifdef CONFIG_PPC64 |
6 | #include <asm/book3s/64/pgtable.h> |
7 | #else |
8 | #include <asm/book3s/32/pgtable.h> |
9 | #endif |
10 | |
11 | #endif |