tee_ta_destructor.h File Reference

Driver destructor registration header. More...

Go to the source code of this file.

Typedefs
typedef void(*	TEES_DriverDestructor_t) (int)

Functions
TEE_Result	TEES_RegisterDriverDestructor (TEES_DriverDestructor_t destr)
	Initializes driver destructor function pointer. The destructor will be called when secure kernel generates any interrupting signal. More...

Detailed Description

Driver destructor registration header.

Copyright

(C) 2012-2019, Samsung Electronics Co., Ltd.