Constant TEE_IOC_CLOSE_SESSION 

pub const TEE_IOC_CLOSE_SESSION: u32 = 2147787781;