Constant K_SYSCALL_TEE_CLOSE_SESSION

pub const K_SYSCALL_TEE_CLOSE_SESSION: u32 = 513;