60 static TEE_Result copy_mpi_to_bigint(mbedtls_mpi *mpi, TEE_BigInt *bigInt)  in copy_mpi_to_bigint()  argument
62 	struct bigint_hdr *hdr = (struct bigint_hdr *)bigInt;  in copy_mpi_to_bigint()
85 static void get_mpi(mbedtls_mpi *mpi, const TEE_BigInt *bigInt)  in get_mpi()  argument
103 	if (bigInt) {  in get_mpi()
104 		const struct bigint_hdr *hdr = (struct bigint_hdr *)bigInt;  in get_mpi()
118 void TEE_BigIntInit(TEE_BigInt *bigInt, size_t len)  in TEE_BigIntInit()  argument
120 	struct bigint_hdr *hdr = (struct bigint_hdr *)bigInt;  in TEE_BigIntInit()
125 	memset(bigInt, 0, len * sizeof(uint32_t));  in TEE_BigIntInit()
134 void __GP11_TEE_BigIntInit(TEE_BigInt *bigInt, uint32_t len)  in __GP11_TEE_BigIntInit()  argument
136 	TEE_BigIntInit(bigInt, len);  in __GP11_TEE_BigIntInit()
173 					  const TEE_BigInt *bigInt)  in TEE_BigIntConvertToOctetString()  argument
179 	get_mpi(&mpi, bigInt);  in TEE_BigIntConvertToOctetString()
196 						 const TEE_BigInt *bigInt)  in __GP11_TEE_BigIntConvertToOctetString()  argument
201 	res = TEE_BigIntConvertToOctetString(buffer, &l, bigInt);  in __GP11_TEE_BigIntConvertToOctetString()