Constant K_SYSCALL_DEVICE_INIT

pub const K_SYSCALL_DEVICE_INIT: u32 = 3;