tee_interrupt.h

Go to the documentation of this file.

#ifndef _TEE_INTERRUPT_H_
#define _TEE_INTERRUPT_H_

#include <time.h>
#include <tee_internal_api.h>
#include <driver/interrupt/interrupt.h>

typedef struct __TEES_InterruptHandle *TEES_InterruptHandle;

struct intrinfo {
    unsigned int nr;
    unsigned int cpu;
};

typedef void (*intruhandler)(struct intrinfo *);

DSO_EXPORT TEE_Result TEES_AllocateInterrupt(int nr, intruhandler handler, TEES_InterruptHandle *handle);

DSO_EXPORT TEE_Result TEES_ReleaseInterrupt(TEES_InterruptHandle handle);

DSO_EXPORT TEE_Result TEES_GenerateInterrupt(TEES_InterruptHandle handle);

DSO_EXPORT TEE_Result TEES_WaitForInterrupt(TEES_InterruptHandle handle, uint32_t timeout);

DSO_EXPORT TEE_Result TEES_CompleteInterrupt(TEES_InterruptHandle handle);

#endif /* _TEE_INTERRUPT_H_ */