1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_POWERPC_TLBFLUSH_H
 3#define _ASM_POWERPC_TLBFLUSH_H
 4
 5#ifdef CONFIG_PPC_BOOK3S
 6#include <asm/book3s/tlbflush.h>
 7#else
 8#include <asm/nohash/tlbflush.h>
 9#endif /* !CONFIG_PPC_BOOK3S */
10
11#endif /* _ASM_POWERPC_TLBFLUSH_H */

 1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_POWERPC_TLBFLUSH_H
 3#define _ASM_POWERPC_TLBFLUSH_H
 4
 5#ifdef CONFIG_PPC_BOOK3S
 6#include <asm/book3s/tlbflush.h>
 7#else
 8#include <asm/nohash/tlbflush.h>
 9#endif /* !CONFIG_PPC_BOOK3S */
10
11#endif /* _ASM_POWERPC_TLBFLUSH_H */