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);
81 static int __init vdso_setup(void) in vdso_setup() function88 device_initcall(vdso_setup);
138 static __init int vdso_setup(char *s) in vdso_setup() function143 __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);
664 static __init int vdso_setup(void) in vdso_setup() function778 if (vdso_setup()) { in vdso_init()