Constant TEE_ATTR_ECC_PUBLIC_VALUE_X 

pub const TEE_ATTR_ECC_PUBLIC_VALUE_X: u32 = 0xD0000141;