Constant K_SYSCALL_TEE_SHM_UNREGISTER 

pub const K_SYSCALL_TEE_SHM_UNREGISTER: u32 = 587;