Constant optee_utee_sys::TEE_ATTR_ECC_PUBLIC_VALUE_X

pub const TEE_ATTR_ECC_PUBLIC_VALUE_X: u32 = 0xD0000141;