Constant TEE_ATTR_DH_PUBLIC_VALUE 

pub const TEE_ATTR_DH_PUBLIC_VALUE: u32 = 0xD0000132;