tlbbatch.h

 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 */