275 				  uint32_t *session_id);
283 typedef int (*tee_close_session_t)(const struct device *dev, uint32_t session_id);
292 typedef int (*tee_cancel_t)(const struct device *dev, uint32_t session_id, uint32_t cancel_id);
395 			       uint32_t *session_id);
400 					  uint32_t *session_id)  in z_impl_tee_open_session()  argument
408 	return api->open_session(dev, arg, num_param, param, session_id);  in z_impl_tee_open_session()
423 __syscall int tee_close_session(const struct device *dev, uint32_t session_id);
425 static inline int z_impl_tee_close_session(const struct device *dev, uint32_t session_id)  in z_impl_tee_close_session()  argument
433 	return api->close_session(dev, session_id);  in z_impl_tee_close_session()
449 __syscall int tee_cancel(const struct device *dev, uint32_t session_id, uint32_t cancel_id);
451 static inline int z_impl_tee_cancel(const struct device *dev, uint32_t session_id,  in z_impl_tee_cancel()  argument
460 	return api->cancel(dev, session_id, cancel_id);  in z_impl_tee_cancel()