Searched refs:vdso_setup (Results 1 – 6 of 6) sorted by relevance
29 static int __init vdso_setup(char *s) in vdso_setup() function34 __setup("vdso=", vdso_setup);
82 static int __init vdso_setup(void) in vdso_setup() function89 device_initcall(vdso_setup);
201 static __init int vdso_setup(char *s) in vdso_setup() function206 __setup("vdso=", vdso_setup);
59 static int __init vdso_setup(char *s) in vdso_setup() function71 __setup("vdso32=", vdso_setup);74 __setup_param("vdso=", vdso32_setup, vdso_setup, 0);
55 static int __init vdso_setup(char *s) in vdso_setup() function71 __setup("vdso=", vdso_setup);
656 static __init int vdso_setup(void) in vdso_setup() function770 if (vdso_setup()) { in vdso_init()