[PATCH kernel-4.19 10/11] share_pool: Print info when thread is being killed