Race condition on kernel wait queues: unlocked z_waitq_head() read in the timer expiration handler can yield a stale or sentinel thread pointer on SMP

{
                    "vendor": "zephyrproject",
                    "product": "zephyr",
                    "collectionURL": "https://github.com/zephyrproject-rtos/zephyr",
                    "packageName": "zephyr",
                    "defaultStatus": "unaffected",
                    "programFiles": [
                        "kernel/include/wait_q.h",
                        "kernel/msg_q.c",
                        "kernel/mutex.c",
                        "kernel/sched.c",
                        "kernel/stack.c",
                        "kernel/timer.c",
                        "kernel/userspace/userspace.c"
                    ],
                    "programRoutines": [
                        {
                            "name": "z_timer_expiration_handler"
                        },
                        {
                            "name": "z_waitq_head"
                        }
                    ],
                    "versions": [
                        {
                            "version": "2.2.0",
                            "status": "affected",
                            "lessThan": "4.5.0",
                            "versionType": "semver"
                        }
                    ]
                }