1 /* SPDX-License-Identifier: GPL-2.0 */
8 #ifdef CONFIG_CPU_HAS_ASID
13 unsigned int vmalloc_seq
;
14 unsigned long sigpage
;
20 #ifdef CONFIG_CPU_HAS_ASID
22 #define ASID_MASK ((~0ULL) << ASID_BITS)
23 #define ASID(mm) ((unsigned int)((mm)->context.id.counter & ~ASID_MASK))
32 * Copyright (C) 2002, David McCullough <davidm@snapgear.com>
33 * modified for 2.6 by Hyok S. Choi <hyok.choi@samsung.com>
36 unsigned long end_brk
;