Searched refs:x86_sep_setup (Results 1 – 1 of 1) sorted by relevance
176 static int __init x86_sep_setup(char *s) in x86_sep_setup() function181 __setup("nosep", x86_sep_setup);