ACPI / LPSS: Make acpi_lpss_find_device() also find PCI devices
[linux/fpc-iii.git] / arch / x86 / include / asm / tlbbatch.h
blob1ad56eb3e8a8f8914ad34894dcd6ae7fcbca9665
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef _ARCH_X86_TLBBATCH_H
3 #define _ARCH_X86_TLBBATCH_H
5 #include <linux/cpumask.h>
7 struct arch_tlbflush_unmap_batch {
8 /*
9 * Each bit set is a CPU that potentially has a TLB entry for one of
10 * the PFNs being flushed..
12 struct cpumask cpumask;
15 #endif /* _ARCH_X86_TLBBATCH_H */