Searched refs:vdso32_enabled (Results 1 – 3 of 3) sorted by relevance
29 unsigned int __read_mostly vdso32_enabled = VDSO_DEFAULT; variable 33 vdso32_enabled = simple_strtoul(s, NULL, 0); in vdso32_setup() 35 if (vdso32_enabled > 1) { in vdso32_setup() 37 vdso32_enabled = 0; in vdso32_setup() 65 .data = &vdso32_enabled,
230 if (vdso32_enabled != 1) /* Other values all mean "disabled" */ in load_vdso32()
80 extern unsigned int vdso32_enabled;