1/* SPDX-License-Identifier: GPL-2.0 */
2#ifndef _ARCH_ARM64_TLBBATCH_H
3#define _ARCH_ARM64_TLBBATCH_H
4
5struct arch_tlbflush_unmap_batch {
6	/*
7	 * For arm64, HW can do tlb shootdown, so we don't
8	 * need to record cpumask for sending IPI
9	 */
10};
11
12#endif /* _ARCH_ARM64_TLBBATCH_H */
13