1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ARCH_ARM64_TLBBATCH_H
3 #define _ARCH_ARM64_TLBBATCH_H
4
5 struct 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
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.