Constant TEE_ALG_AES_ECB_NOPAD 

pub const TEE_ALG_AES_ECB_NOPAD: u32 = 0x10000010;