Constant K_SYSCALL_TEE_SHM_FREE

Source
pub const K_SYSCALL_TEE_SHM_FREE: u32 = 519; // 519u32