Constant optee_utee_sys::TEE_ATTR_DSA_BASE

pub const TEE_ATTR_DSA_BASE: u32 = 0xD0001231;