| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifndef _ASR_RNG_OPTEE_ | |
| #define _ASR_RNG_OPTEE_ | |
| #define ASR_RNG_GET_DATA 0x1 | |
| #define ASR_RNG_ACCESS_UUID \ | |
| { \ | |
| 0x185e0a22, 0x969f, 0x43b9, \ | |
| { 0xbb, 0x94, 0x66, 0xe2, 0x88, 0x8e, 0x26, 0x26 } \ | |
| } | |
| struct asrrng_tee_context { | |
| struct tee_context *tee_ctx; | |
| int session; | |
| }; | |
| struct teec_uuid { | |
| uint32_t timeLow; | |
| uint16_t timeMid; | |
| uint16_t timeHiAndVersion; | |
| uint8_t clockSeqAndNode[8]; | |
| }; | |
| struct asr_rng { | |
| struct device *dev; | |
| struct hwrng rng; | |
| }; | |
| #endif |