RTEMS 6.1-rc1
Data Fields

Test context for spec:/rtems/message/req/broadcast test case. More...

Data Fields

rtems_id message_queue_id
 This member contains a valid ID of a message queue.
 
 storage_area [MAXIMUM_PENDING_MESSAGES]
 This member is used as storage area for the message queue.
 
uint8_t receive_buffer [NUMBER_OF_WORKERS][MAXIMUM_MESSAGE_SIZE]
 This member contains a buffer to receive messages from the queue.
 
size_t receive_size [NUMBER_OF_WORKERS]
 This member contains several buffers to receive a messages size.
 
rtems_status_code receive_status [NUMBER_OF_WORKERS]
 This member contains the returned status codes of the receivers.
 
rtems_id id_param
 This member specifies the id parameter of the action.
 
const void * buffer_param
 This member specifies the buffer parameter of the action.
 
size_t size_param
 This member specifies the size parameter of the action.
 
uint32_t * count_param
 This member specifies the count parameter of the action.
 
rtems_status_code status
 This member contains the returned status code of the action.
 
uint32_t count
 This member contains the value returned in parameter count of the action.
 
rtems_id worker_id [NUMBER_OF_WORKERS]
 This member contains the task identifiers of the worker tasks.
 
void(* check_msgq_unchanged )(void *ctx_in)
 This member contains a pointer to a function which is executed to check that the action has not changed the content of the message queue.
 
struct {
   size_t   pcs [7]
 This member defines the pre-condition states for the next action.
 
   bool   in_action_loop
 If this member is true, then the test action loop is executed.
 
   size_t   index
 This member contains the next transition map index.
 
   RtemsMessageReqBroadcast_Entry   entry
 This member contains the current transition map entry.
 
   bool   skip
 If this member is true, then the current transition variant should be skipped.
 
Map
 

Detailed Description

Test context for spec:/rtems/message/req/broadcast test case.


The documentation for this struct was generated from the following file: