Constant K_SYSCALL_TEE_SHM_FREE 

pub const K_SYSCALL_TEE_SHM_FREE: u32 = 587; // 587u32