Constant TEE_ATTR_DH_BASE 

pub const TEE_ATTR_DH_BASE: u32 = 0xD0001232;