Searched refs:randomBufferLen (Results 1 – 2 of 2) sorted by relevance
490 void TEE_GenerateRandom(void *randomBuffer, size_t randomBufferLen);491 void __GP11_TEE_GenerateRandom(void *randomBuffer, uint32_t randomBufferLen);
2406 void TEE_GenerateRandom(void *randomBuffer, size_t randomBufferLen) in TEE_GenerateRandom() argument2410 res = _utee_cryp_random_number_generate(randomBuffer, randomBufferLen); in TEE_GenerateRandom()2415 void __GP11_TEE_GenerateRandom(void *randomBuffer, uint32_t randomBufferLen) in __GP11_TEE_GenerateRandom() argument2417 TEE_GenerateRandom(randomBuffer, randomBufferLen); in __GP11_TEE_GenerateRandom()