summaryrefslogtreecommitdiffstats
path: root/spec/rtems/intr/if/local-enable.yml
diff options
context:
space:
mode:
Diffstat (limited to 'spec/rtems/intr/if/local-enable.yml')
-rw-r--r--spec/rtems/intr/if/local-enable.yml5
1 files changed, 3 insertions, 2 deletions
diff --git a/spec/rtems/intr/if/local-enable.yml b/spec/rtems/intr/if/local-enable.yml
index 973562e2..c0568aff 100644
--- a/spec/rtems/intr/if/local-enable.yml
+++ b/spec/rtems/intr/if/local-enable.yml
@@ -8,8 +8,9 @@ definition:
default:
attributes: null
body: ${/score/isr/if/local-enable:/name}( ${.:/params[0]/name} )
- params: []
- return: null
+ params:
+ - ${level:/name} ${.:/params[0]/name}
+ return: void
variants: []
description: |
This directive restores the interrupt level specified by