Constant K_SYSCALL_TEE_SHM_ALLOC 

pub const K_SYSCALL_TEE_SHM_ALLOC: u32 = 584;