Constant K_SYSCALL_TEE_SHM_FREE 

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