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