Constant TEE_IOC_OPEN_SESSION 

pub const TEE_IOC_OPEN_SESSION: u32 = 2148574210;