diff options
Diffstat (limited to 'testsuites/validation/tr-model-events-mgr.h')
| -rw-r--r--[-rwxr-xr-x] | testsuites/validation/tr-model-events-mgr.h | 26 |
1 files changed, 25 insertions, 1 deletions
diff --git a/testsuites/validation/tr-model-events-mgr.h b/testsuites/validation/tr-model-events-mgr.h index 95678e2ee1..94daaa5c79 100755..100644 --- a/testsuites/validation/tr-model-events-mgr.h +++ b/testsuites/validation/tr-model-events-mgr.h @@ -74,7 +74,31 @@ extern "C" { * * @param waiting_for_event is the thread waiting for event state. */ -void RtemsModelEventsMgr_Run( +void RtemsModelEventsMgr0_Run( + rtems_status_code ( *send )( rtems_id, rtems_event_set ), + rtems_status_code ( *receive )( rtems_event_set, rtems_option, rtems_interval, rtems_event_set * ), + rtems_event_set ( *get_pending_events )( Thread_Control * ), + unsigned int wait_class, + int waiting_for_event +); + +void RtemsModelEventsMgr1_Run( + rtems_status_code ( *send )( rtems_id, rtems_event_set ), + rtems_status_code ( *receive )( rtems_event_set, rtems_option, rtems_interval, rtems_event_set * ), + rtems_event_set ( *get_pending_events )( Thread_Control * ), + unsigned int wait_class, + int waiting_for_event +); + +void RtemsModelEventsMgr2_Run( + rtems_status_code ( *send )( rtems_id, rtems_event_set ), + rtems_status_code ( *receive )( rtems_event_set, rtems_option, rtems_interval, rtems_event_set * ), + rtems_event_set ( *get_pending_events )( Thread_Control * ), + unsigned int wait_class, + int waiting_for_event +); + +void RtemsModelEventsMgr3_Run( rtems_status_code ( *send )( rtems_id, rtems_event_set ), rtems_status_code ( *receive )( rtems_event_set, rtems_option, rtems_interval, rtems_event_set * ), rtems_event_set ( *get_pending_events )( Thread_Control * ), |