summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-02-19 21:42:45 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-02-19 21:42:45 +0100
commit39b71997bdd3bed71c735bc6239db650d1330563 (patch)
tree15686ef4c8cb2b6186773ee1b030fc1bb57ba283
parentspec: Specify missing barrier create case (diff)
downloadrtems-central-39b71997bdd3bed71c735bc6239db650d1330563.tar.bz2
spec: Move rtems_task_priority item
-rw-r--r--spec/rtems/scheduler/if/get-maximum-priority.yml2
-rw-r--r--spec/rtems/scheduler/if/map-priority-from-posix.yml2
-rw-r--r--spec/rtems/scheduler/if/map-priority-to-posix.yml2
-rw-r--r--spec/rtems/sem/if/create.yml2
-rw-r--r--spec/rtems/sem/if/set-priority.yml4
-rw-r--r--spec/rtems/task/if/config.yml2
-rw-r--r--spec/rtems/task/if/create.yml2
-rw-r--r--spec/rtems/task/if/get-priority.yml2
-rw-r--r--spec/rtems/task/if/initialization-table.yml2
-rw-r--r--spec/rtems/task/if/set-priority.yml4
-rw-r--r--spec/rtems/task/if/set-scheduler.yml2
-rw-r--r--spec/rtems/timer/if/initiate-server.yml2
-rw-r--r--spec/rtems/timer/if/server-default-priority.yml2
-rw-r--r--spec/rtems/type/if/priority.yml (renamed from spec/rtems/task/if/priority.yml)5
-rw-r--r--spec/score/if/maximum-priority.yml2
15 files changed, 19 insertions, 18 deletions
diff --git a/spec/rtems/scheduler/if/get-maximum-priority.yml b/spec/rtems/scheduler/if/get-maximum-priority.yml
index 4f8e8417..e8bfb5a0 100644
--- a/spec/rtems/scheduler/if/get-maximum-priority.yml
+++ b/spec/rtems/scheduler/if/get-maximum-priority.yml
@@ -9,7 +9,7 @@ definition:
body: null
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- - ${../../task/if/priority:/name} *${.:/params[1]/name}
+ - ${../../type/if/priority:/name} *${.:/params[1]/name}
return: ${../../status/if/code:/name}
variants: []
description: null
diff --git a/spec/rtems/scheduler/if/map-priority-from-posix.yml b/spec/rtems/scheduler/if/map-priority-from-posix.yml
index 1c05f44b..660d5b30 100644
--- a/spec/rtems/scheduler/if/map-priority-from-posix.yml
+++ b/spec/rtems/scheduler/if/map-priority-from-posix.yml
@@ -10,7 +10,7 @@ definition:
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- int ${.:/params[1]/name}
- - ${../../task/if/priority:/name} *${.:/params[2]/name}
+ - ${../../type/if/priority:/name} *${.:/params[2]/name}
return: ${../../status/if/code:/name}
variants: []
description: null
diff --git a/spec/rtems/scheduler/if/map-priority-to-posix.yml b/spec/rtems/scheduler/if/map-priority-to-posix.yml
index c887d45f..9bd070ee 100644
--- a/spec/rtems/scheduler/if/map-priority-to-posix.yml
+++ b/spec/rtems/scheduler/if/map-priority-to-posix.yml
@@ -9,7 +9,7 @@ definition:
body: null
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- - ${../../task/if/priority:/name} ${.:/params[1]/name}
+ - ${../../type/if/priority:/name} ${.:/params[1]/name}
- int *${.:/params[2]/name}
return: ${../../status/if/code:/name}
variants: []
diff --git a/spec/rtems/sem/if/create.yml b/spec/rtems/sem/if/create.yml
index ddffa612..86abbebe 100644
--- a/spec/rtems/sem/if/create.yml
+++ b/spec/rtems/sem/if/create.yml
@@ -12,7 +12,7 @@ definition:
- ${../../type/if/name:/name} ${.:/params[0]/name}
- ${/c/if/uint32_t:/name} ${.:/params[1]/name}
- ${../../attr/if/attribute:/name} ${.:/params[2]/name}
- - ${../../task/if/priority:/name} ${.:/params[3]/name}
+ - ${../../type/if/priority:/name} ${.:/params[3]/name}
- ${../../type/if/id:/name} *${.:/params[4]/name}
return: ${../../status/if/code:/name}
variants: []
diff --git a/spec/rtems/sem/if/set-priority.yml b/spec/rtems/sem/if/set-priority.yml
index 99b56947..5b76bd74 100644
--- a/spec/rtems/sem/if/set-priority.yml
+++ b/spec/rtems/sem/if/set-priority.yml
@@ -11,8 +11,8 @@ definition:
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- ${../../type/if/id:/name} ${.:/params[1]/name}
- - ${../../task/if/priority:/name} ${.:/params[2]/name}
- - ${../../task/if/priority:/name} *${.:/params[3]/name}
+ - ${../../type/if/priority:/name} ${.:/params[2]/name}
+ - ${../../type/if/priority:/name} *${.:/params[3]/name}
return: ${../../status/if/code:/name}
variants: []
description: |
diff --git a/spec/rtems/task/if/config.yml b/spec/rtems/task/if/config.yml
index 52fe239d..423b8efe 100644
--- a/spec/rtems/task/if/config.yml
+++ b/spec/rtems/task/if/config.yml
@@ -16,7 +16,7 @@ definition:
- default:
brief: |
This member defines the initial priority of the task.
- definition: ${priority:/name} ${.:name}
+ definition: ${../../type/if/priority:/name} ${.:name}
description: null
kind: member
name: initial_priority
diff --git a/spec/rtems/task/if/create.yml b/spec/rtems/task/if/create.yml
index 3b90a861..f9bf3b1a 100644
--- a/spec/rtems/task/if/create.yml
+++ b/spec/rtems/task/if/create.yml
@@ -10,7 +10,7 @@ definition:
body: null
params:
- ${../../type/if/name:/name} ${.:/params[0]/name}
- - ${priority:/name} ${.:/params[1]/name}
+ - ${../../type/if/priority:/name} ${.:/params[1]/name}
- ${/c/if/size_t:/name} ${.:/params[2]/name}
- ${../../mode/if/mode:/name} ${.:/params[3]/name}
- ${../../attr/if/attribute:/name} ${.:/params[4]/name}
diff --git a/spec/rtems/task/if/get-priority.yml b/spec/rtems/task/if/get-priority.yml
index 43cdc7e4..07af9049 100644
--- a/spec/rtems/task/if/get-priority.yml
+++ b/spec/rtems/task/if/get-priority.yml
@@ -10,7 +10,7 @@ definition:
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- ${../../type/if/id:/name} ${.:/params[1]/name}
- - ${priority:/name} *${.:/params[2]/name}
+ - ${../../type/if/priority:/name} *${.:/params[2]/name}
return: ${../../status/if/code:/name}
variants: []
description: null
diff --git a/spec/rtems/task/if/initialization-table.yml b/spec/rtems/task/if/initialization-table.yml
index f454a1fe..e7022cff 100644
--- a/spec/rtems/task/if/initialization-table.yml
+++ b/spec/rtems/task/if/initialization-table.yml
@@ -20,7 +20,7 @@ definition:
variants: []
- default:
brief: '%'
- definition: ${priority:/name} ${.:name}
+ definition: ${../../type/if/priority:/name} ${.:name}
description: '%'
kind: member
name: initial_priority
diff --git a/spec/rtems/task/if/set-priority.yml b/spec/rtems/task/if/set-priority.yml
index ec50798e..c749c8ed 100644
--- a/spec/rtems/task/if/set-priority.yml
+++ b/spec/rtems/task/if/set-priority.yml
@@ -9,8 +9,8 @@ definition:
body: null
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- - ${priority:/name} ${.:/params[1]/name}
- - ${priority:/name} *${.:/params[2]/name}
+ - ${../../type/if/priority:/name} ${.:/params[1]/name}
+ - ${../../type/if/priority:/name} *${.:/params[2]/name}
return: ${../../status/if/code:/name}
variants: []
description: null
diff --git a/spec/rtems/task/if/set-scheduler.yml b/spec/rtems/task/if/set-scheduler.yml
index 478285ea..1de8dbbc 100644
--- a/spec/rtems/task/if/set-scheduler.yml
+++ b/spec/rtems/task/if/set-scheduler.yml
@@ -10,7 +10,7 @@ definition:
params:
- ${../../type/if/id:/name} ${.:/params[0]/name}
- ${../../type/if/id:/name} ${.:/params[1]/name}
- - ${priority:/name} ${.:/params[2]/name}
+ - ${../../type/if/priority:/name} ${.:/params[2]/name}
return: ${../../status/if/code:/name}
variants: []
description: null
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
diff --git a/spec/rtems/task/if/priority.yml b/spec/rtems/type/if/priority.yml
index 701f0fd4..72d8c71b 100644
--- a/spec/rtems/task/if/priority.yml
+++ b/spec/rtems/type/if/priority.yml
@@ -1,7 +1,8 @@
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-brief: '%'
+brief: |
+ This integer type represents task priorities of the Classic API.
copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
- Copyright (C) 1988, 2017 On-Line Applications Research Corporation (OAR)
definition:
default: ${/c/if/uint32_t:/name} ${.:/name}
diff --git a/spec/score/if/maximum-priority.yml b/spec/score/if/maximum-priority.yml
index ec10b3b6..45840f68 100644
--- a/spec/score/if/maximum-priority.yml
+++ b/spec/score/if/maximum-priority.yml
@@ -8,7 +8,7 @@ definition:
attributes: null
body: null
params: []
- return: ${/rtems/task/if/priority:/name}
+ return: ${/rtems/type/if/priority:/name}
variants: []
description: null
enabled-by: true