summaryrefslogtreecommitdiffstats
path: root/spec/rtems/timer
diff options
context:
space:
mode:
Diffstat (limited to 'spec/rtems/timer')
-rw-r--r--spec/rtems/timer/if/initiate-server.yml2
-rw-r--r--spec/rtems/timer/if/server-default-priority.yml2
2 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/timer/if/initiate-server.yml b/spec/rtems/timer/if/initiate-server.yml
index 82d95169..5cf5ede3 100644
--- a/spec/rtems/timer/if/initiate-server.yml
+++ b/spec/rtems/timer/if/initiate-server.yml
@@ -9,7 +9,7 @@ definition:
attributes: null
body: null
params:
- - ${../../task/if/priority:/name} ${.:/params[0]/name}
+ - ${../../type/if/priority:/name} ${.:/params[0]/name}
- ${/c/if/size_t:/name} ${.:/params[1]/name}
- ${../../attr/if/attribute:/name} ${.:/params[2]/name}
return: ${../../status/if/code:/name}
diff --git a/spec/rtems/timer/if/server-default-priority.yml b/spec/rtems/timer/if/server-default-priority.yml
index 3631f4a4..aebf4993 100644
--- a/spec/rtems/timer/if/server-default-priority.yml
+++ b/spec/rtems/timer/if/server-default-priority.yml
@@ -6,7 +6,7 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
- Copyright (C) 1988, 2008 On-Line Applications Research Corporation (OAR)
definition:
- default: ( (${../../task/if/priority:/name}) -1 )
+ default: ( (${../../type/if/priority:/name}) -1 )
variants: []
description: |
When given this priority, a special high priority not accessible via the