include/ecrt.h
changeset 1257 9844ac126275
parent 1256 45fe0af4340b
child 1258 900f1124e8f8
equal deleted inserted replaced
1256:45fe0af4340b 1257:9844ac126275
   783 /** Returns the current size of the domain's process data.
   783 /** Returns the current size of the domain's process data.
   784  *
   784  *
   785  * \return Size of the process data image.
   785  * \return Size of the process data image.
   786  */
   786  */
   787 size_t ecrt_domain_size(
   787 size_t ecrt_domain_size(
   788         ec_domain_t *domain /**< Domain. */
   788         const ec_domain_t *domain /**< Domain. */
   789         );
   789         );
   790 
   790 
   791 #ifdef __KERNEL__
   791 #ifdef __KERNEL__
   792 
   792 
   793 /** Provide external memory to store the domain's process data.
   793 /** Provide external memory to store the domain's process data.