Constant TEE_IOC_CLOSE_SESSION

pub const TEE_IOC_CLOSE_SESSION: u32 = 2147787781;