Searched refs:uint32_len (Results 1 – 1 of 1) sorted by relevance
347 uint32_t uint32_len = sizeof(uint32_t); in TEE_GetPropertyAsU32() local355 value, &uint32_len); in TEE_GetPropertyAsU32()