CVE-2026-19575

The user-mode verification handler for the devicedeinit system call, zvrfydevicedeinit in kernel/device.c, validated its dev argument with KSYSCALLOBJINITdev, KOBJANY. kobjectvalidate short-circuits its type comparison when the requested type is KOBJANY, so the check reduced to "this pointer is t...

CVE-2026-19575

A type confusion vulnerability exists in the device_deinit() system call within the Zephyr kernel (kernel/device.c ). The verification handler z_vrfy_device_deinit() incorrectly uses K_OBJ_ANY , causing k_object_validate() to skip type comparisons. This allows a user-mode thread to pass an arbitr...