diff options
| author | Gabriele Paoloni <gabriele.paoloni@intel.com> | 2020-11-27 16:18:19 +0000 |
|---|---|---|
| committer | Borislav Petkov <bp@suse.de> | 2020-12-01 18:58:50 +0100 |
| commit | e1c06d2366e743475b91045ef0c2ce1bbd028cb6 (patch) | |
| tree | d1eaaa1039d809482867f054766e2630caf3472c /lib/mpi/mpi-div.c | |
| parent | d5b38e3d0fdb1a16994b449bc338fb8b26816b07 (diff) | |
x86/mce: Rename kill_it to kill_current_task
Currently, if an MCE happens in user-mode or while the kernel is copying
data from user space, 'kill_it' is used to check if execution of the
interrupted task can be recovered or not; the flag name however is not
very meaningful, hence rename it to match its goal.
[ bp: Massage commit message, rename the queue_task_work() arg too. ]
Signed-off-by: Gabriele Paoloni <gabriele.paoloni@intel.com>
Signed-off-by: Borislav Petkov <bp@suse.de>
Link: https://lkml.kernel.org/r/20201127161819.3106432-6-gabriele.paoloni@intel.com
Diffstat (limited to 'lib/mpi/mpi-div.c')
0 files changed, 0 insertions, 0 deletions