Constant K_SYSCALL_TEE_OPEN_SESSION

Source
pub const K_SYSCALL_TEE_OPEN_SESSION: u32 = 517; // 517u32