Constant K_SYSCALL_DEVICE_DEINIT 

pub const K_SYSCALL_DEVICE_DEINIT: u32 = 0;