diff options
| author | Kamal Mostafa <[email protected]> | 2018-06-29 13:04:21 -0700 |
|---|---|---|
| committer | Kees Cook <[email protected]> | 2018-07-02 17:21:26 -0700 |
| commit | 6aa56f44253a6dd802e45d8ab1b48847feaf063a (patch) | |
| tree | 69d47435c4c3befe430f44c52922a644474695ef /include/linux/mpi.h | |
| parent | 7daf201d7fe8334e2d2364d4e8ed3394ec9af819 (diff) | |
usercopy: Do not select BUG with HARDENED_USERCOPY
There is no need to "select BUG" when CONFIG_HARDENED_USERCOPY is enabled.
The kernel thread will always die, regardless of the CONFIG_BUG.
Signed-off-by: Kamal Mostafa <[email protected]>
[kees: tweak commit log]
Signed-off-by: Kees Cook <[email protected]>
Diffstat (limited to 'include/linux/mpi.h')
0 files changed, 0 insertions, 0 deletions