Constant TEE_ATTR_ECC_EPHEMERAL_PUBLIC_VALUE_X 

pub const TEE_ATTR_ECC_EPHEMERAL_PUBLIC_VALUE_X: u32 = 3489661254;