Searched refs:uint64_len (Results 1 – 1 of 1) sorted by relevance
372 uint32_t uint64_len = sizeof(*value); in TEE_GetPropertyAsU64() local380 value, &uint64_len); in TEE_GetPropertyAsU64()