1 /* SPDX-License-Identifier: GPL-2.0-only */
3 * Copyright (C) 2004, 2007-2010, 2011-2012 Synopsys, Inc. (www.synopsys.com)
11 #include <linux/threads.h> /* NR_CPUS */
14 unsigned long asid[NR_CPUS]; /* 8 bit MMU PID + Generation cycle */
17 extern void do_tlb_overlap_fault(unsigned long, unsigned long, struct pt_regs *);
21 #include <asm/mmu-arcv2.h>