1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ASM_POWERPC_BOOK3S_PGALLOC_H
3#define _ASM_POWERPC_BOOK3S_PGALLOC_H
4
5#include <linux/mm.h>
6
7extern void tlb_remove_table(struct mmu_gather *tlb, void *table);
8
9#ifdef CONFIG_PPC64
10#include <asm/book3s/64/pgalloc.h>
11#else
12#include <asm/book3s/32/pgalloc.h>
13#endif
14
15#endif /* _ASM_POWERPC_BOOK3S_PGALLOC_H */
16