pub const TEE_ATTR_ECC_PUBLIC_VALUE_X: u32 = 3489661249;