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