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