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 need to record a 8 * cpumask for sending IPIs. 9 */ 10 }; 11 12 #endif /* _ARCH_ARM64_TLBBATCH_H */ 13