162306a36Sopenharmony_ci/* SPDX-License-Identifier: GPL-2.0 */
262306a36Sopenharmony_ci#ifndef _ARCH_ARM64_TLBBATCH_H
362306a36Sopenharmony_ci#define _ARCH_ARM64_TLBBATCH_H
462306a36Sopenharmony_ci
562306a36Sopenharmony_cistruct arch_tlbflush_unmap_batch {
662306a36Sopenharmony_ci	/*
762306a36Sopenharmony_ci	 * For arm64, HW can do tlb shootdown, so we don't
862306a36Sopenharmony_ci	 * need to record cpumask for sending IPI
962306a36Sopenharmony_ci	 */
1062306a36Sopenharmony_ci};
1162306a36Sopenharmony_ci
1262306a36Sopenharmony_ci#endif /* _ARCH_ARM64_TLBBATCH_H */
13