pub const TEE_ATTR_DH_BASE: u32 = 3489665586;