Constant K_SYSCALL_TEE_CLOSE_SESSION 

pub const K_SYSCALL_TEE_CLOSE_SESSION: u32 = 580;