pub const TEE_ATTR_DSA_PUBLIC_VALUE: u32 = 3489661233;