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 */
19 #include <asm/mmu-arcv2.h>