Use task_pid_nr(tsk) instead of tsk->pid in do_general_protection.
Signed-off-by: NAlexander van Heukelum <heukelum@fastmail.fm>
Signed-off-by: NIngo Molnar <mingo@elte.hu>