Constant K_SYSCALL_TEE_OPEN_SESSION

pub const K_SYSCALL_TEE_OPEN_SESSION: u32 = 516;