PT-2026-108759

The user-mode verification handler for the device deinit system call, z vrfy device deinit in kernel/device.c, validated its dev argument with K SYSCALL OBJ INITdev, K OBJ ANY. k object validate short-circuits its type comparison when the requested type is K OBJ ANY, so the check reduced to "this...