--- zzzz-none-000/linux-5.15.111/drivers/char/hpet.c 2023-05-11 14:00:40.000000000 +0000 +++ puma7-atom-6670-761/linux-5.15.111/drivers/char/hpet.c 2024-02-07 10:22:37.000000000 +0000 @@ -276,8 +276,13 @@ } if (!devp) { + char comm[TASK_COMM_LEN]; + spin_unlock_irq(&hpet_lock); mutex_unlock(&hpet_mutex); + pr_warn("hpet: No free device for process %d (comm=%s)\n", + task_pid_nr(current), + get_task_comm(comm, current)); return -EBUSY; }