diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-03 07:03:46 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-02-04 14:23:44 +0100 |
commit | 62ec48e5e80c4526485b8fc2489b88600b45e98b (patch) | |
tree | 8980abde3cde715bcc52fe981058716bd0eb67ac | |
parent | spec: Improve wording (diff) | |
download | rtems-central-62ec48e5e80c4526485b8fc2489b88600b45e98b.tar.bz2 |
spec: Use constraints for event manager
-rw-r--r-- | spec/rtems/event/if/receive.yml | 9 | ||||
-rw-r--r-- | spec/rtems/event/if/send.yml | 8 | ||||
-rw-r--r-- | spec/rtems/event/if/system-receive.yml | 6 | ||||
-rw-r--r-- | spec/rtems/event/if/system-send.yml | 8 | ||||
-rw-r--r-- | spec/rtems/event/if/transient-clear.yml | 6 | ||||
-rw-r--r-- | spec/rtems/event/if/transient-receive.yml | 6 | ||||
-rw-r--r-- | spec/rtems/event/if/transient-send.yml | 8 |
7 files changed, 48 insertions, 3 deletions
diff --git a/spec/rtems/event/if/receive.yml b/spec/rtems/event/if/receive.yml index 9f3018c1..b75e0119 100644 --- a/spec/rtems/event/if/receive.yml +++ b/spec/rtems/event/if/receive.yml @@ -71,11 +71,14 @@ links: uid: header - role: interface-ingroup uid: group +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/clock-tick name: rtems_event_receive notes: | - This directive shall be called by a task. Calling this directive from - interrupt context is undefined behaviour. - This directive only affects the events specified in ${.:/params[0]/name}. Any pending events that do not correspond to any of the events specified in ${.:/params[0]/name} will be left pending. diff --git a/spec/rtems/event/if/send.yml b/spec/rtems/event/if/send.yml index f0615030..dbf23188 100644 --- a/spec/rtems/event/if/send.yml +++ b/spec/rtems/event/if/send.yml @@ -36,6 +36,14 @@ links: uid: header - role: interface-ingroup uid: group +- role: constraint + uid: /constraint/directive-ctx-isr +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/directive-may-preempt name: rtems_event_send notes: | Events can be sent by tasks or an ${/glossary/isr:/term}. diff --git a/spec/rtems/event/if/system-receive.yml b/spec/rtems/event/if/system-receive.yml index 941357db..36b2f181 100644 --- a/spec/rtems/event/if/system-receive.yml +++ b/spec/rtems/event/if/system-receive.yml @@ -24,6 +24,12 @@ interface-type: function links: - role: interface-placement uid: header +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/clock-tick name: rtems_event_system_receive notes: null params: diff --git a/spec/rtems/event/if/system-send.yml b/spec/rtems/event/if/system-send.yml index 5221a4af..5f71ff11 100644 --- a/spec/rtems/event/if/system-send.yml +++ b/spec/rtems/event/if/system-send.yml @@ -20,6 +20,14 @@ interface-type: function links: - role: interface-placement uid: header +- role: constraint + uid: /constraint/directive-ctx-isr +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/directive-may-preempt name: rtems_event_system_send notes: null params: diff --git a/spec/rtems/event/if/transient-clear.yml b/spec/rtems/event/if/transient-clear.yml index ee0e689d..2febcdcd 100644 --- a/spec/rtems/event/if/transient-clear.yml +++ b/spec/rtems/event/if/transient-clear.yml @@ -25,6 +25,12 @@ interface-type: function links: - role: interface-placement uid: header +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/directive-no-preempt name: rtems_event_transient_clear notes: null params: [] diff --git a/spec/rtems/event/if/transient-receive.yml b/spec/rtems/event/if/transient-receive.yml index 54bb618c..41b2b18d 100644 --- a/spec/rtems/event/if/transient-receive.yml +++ b/spec/rtems/event/if/transient-receive.yml @@ -27,6 +27,12 @@ interface-type: function links: - role: interface-placement uid: header +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/clock-tick name: rtems_event_transient_receive notes: null params: diff --git a/spec/rtems/event/if/transient-send.yml b/spec/rtems/event/if/transient-send.yml index 24e27e9b..b994623b 100644 --- a/spec/rtems/event/if/transient-send.yml +++ b/spec/rtems/event/if/transient-send.yml @@ -19,6 +19,14 @@ interface-type: function links: - role: interface-placement uid: header +- role: constraint + uid: /constraint/directive-ctx-isr +- role: constraint + uid: /constraint/directive-ctx-devinit +- role: constraint + uid: /constraint/directive-ctx-task +- role: constraint + uid: /constraint/directive-may-preempt name: rtems_event_transient_send notes: null params: |