Constant K_SYSCALL_TEE_SHM_FREE

pub const K_SYSCALL_TEE_SHM_FREE: u32 = 518;