Constant K_SYSCALL_TEE_SHM_ALLOC

pub const K_SYSCALL_TEE_SHM_ALLOC: u32 = 517;