Constant K_SYSCALL_TEE_OPEN_SESSION 

pub const K_SYSCALL_TEE_OPEN_SESSION: u32 = 583;