1*43b3dfddSBarry Song /* SPDX-License-Identifier: GPL-2.0 */ 2*43b3dfddSBarry Song #ifndef _ARCH_ARM64_TLBBATCH_H 3*43b3dfddSBarry Song #define _ARCH_ARM64_TLBBATCH_H 4*43b3dfddSBarry Song 5*43b3dfddSBarry Song struct arch_tlbflush_unmap_batch { 6*43b3dfddSBarry Song /* 7*43b3dfddSBarry Song * For arm64, HW can do tlb shootdown, so we don't 8*43b3dfddSBarry Song * need to record cpumask for sending IPI 9*43b3dfddSBarry Song */ 10*43b3dfddSBarry Song }; 11*43b3dfddSBarry Song 12*43b3dfddSBarry Song #endif /* _ARCH_ARM64_TLBBATCH_H */ 13