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