Bug in patch "x86/pti: Add the pti= cmdline option and documentation"
From: Juergen Gross
Date: Fri Dec 22 2017 - 11:41:40 EST
The patch in the tip tree with commit 506bcdf68b07a0335751e1fe8be37
("x86/pti: Add the pti= cmdline option and documentation") is completely
wrong: cmdline_find_option() will return -1 in case the otion isn't
found and the len of the argument in case it has been found.
Juergen