RtemsMessageReqBroadcast_Context Struct Reference

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:

• testsuites/validation/tc-message-broadcast.c