Constant K_SYSCALL_K_OBJECT_RELEASE 

pub const K_SYSCALL_K_OBJECT_RELEASE: u32 = 51;