driver.h

Go to the documentation of this file.

#ifndef __DRIVER_H__
#define __DRIVER_H__

#ifdef __cplusplus
extern "C" {
#endif

#include <fops.h>
#include <tee_internal_api.h>

DSO_EXPORT int TEES_InitDriver(char *name, struct fops *fops, unsigned int drvid,
                               struct usr_drv_info **info);

DSO_EXPORT int TEES_RegisterIoctlDesc(struct usr_drv_info *info,
                                  unsigned int cmd,
                                  struct ioctl_desc *desc);

DSO_EXPORT int TEES_FiniDriver(struct usr_drv_info *info);

DSO_EXPORT int TEES_RegisterDriver(char *name, struct fops *fops, unsigned int drvid,
                                   struct usr_drv_info **info) _deprecated_;

DSO_EXPORT int TEES_ReleaseDriver(struct usr_drv_info **info) _deprecated_;

int driver_cancel_handle(struct usr_drv_info *info, int sock_conn);
int driver_handle(struct usr_drv_info *info, int sock_conn);
DSO_EXPORT int TEES_CompleteRequest(struct drv_info *filp, long ret);

DSO_EXPORT void *TEES_AcquireUserBuffer(struct drv_info *filp, uint64_t addr,
                                        const size_t size, int prot);

DSO_EXPORT int TEES_ReleaseUserBuffer(const void *addr, const size_t size);

#ifdef __cplusplus
}
#endif

#endif /* !__DRIVER_H__ */