1 /* SPDX-License-Identifier: GPL-2.0 */
8 #ifdef CONFIG_CPU_HAS_ASID
13 unsigned int vmalloc_seq
;
14 unsigned long sigpage
;
18 #ifdef CONFIG_BINFMT_ELF_FDPIC
19 unsigned long exec_fdpic_loadmap
;
20 unsigned long interp_fdpic_loadmap
;
24 #ifdef CONFIG_CPU_HAS_ASID
26 #define ASID_MASK ((~0ULL) << ASID_BITS)
27 #define ASID(mm) ((unsigned int)((mm)->context.id.counter & ~ASID_MASK))
36 * Copyright (C) 2002, David McCullough <davidm@snapgear.com>
37 * modified for 2.6 by Hyok S. Choi <hyok.choi@samsung.com>
40 unsigned long end_brk
;
41 #ifdef CONFIG_BINFMT_ELF_FDPIC
42 unsigned long exec_fdpic_loadmap
;
43 unsigned long interp_fdpic_loadmap
;