Constant optee_teec_sys::TEEC_LOGIN_USER

pub const TEEC_LOGIN_USER: u32 = 0x00000001;