summaryrefslogtreecommitdiff
path: root/spec
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2023-09-14 11:59:43 +0200
committerSebastian Huber <sebastian.huber@embedded-brains.de>2023-09-18 08:52:01 +0200
commit8b5ddf133ac4f4408566789bfcea3840d9d1c625 (patch)
tree26a0a7f64a3c913ae12270ad1b58838413b641a1 /spec
parent1c53643205669ef1471e5cdb7650dedc14a759ce (diff)
spec: rtems_configuration_get_interrupt_stack_size()
Fix rtems_configuration_get_interrupt_stack_size() for some code models. The _ISR_Stack_size symbol has an arbitrary absolute address and may not be representable in the code model used by the compiler.
Diffstat (limited to 'spec')
-rw-r--r--spec/rtems/config/if/get-interrupt-stack-size.yml2
-rw-r--r--spec/score/isr/if/stack-size-object.yml (renamed from spec/score/isr/if/stack-size.yml)4
2 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/config/if/get-interrupt-stack-size.yml b/spec/rtems/config/if/get-interrupt-stack-size.yml
index 23be1577..1b577bfc 100644
--- a/spec/rtems/config/if/get-interrupt-stack-size.yml
+++ b/spec/rtems/config/if/get-interrupt-stack-size.yml
@@ -6,7 +6,7 @@ copyrights:
definition:
default:
attributes: null
- body: ((${/c/if/size_t:/name}) ${/score/isr/if/stack-size:/name})
+ body: ((${/c/if/size_t:/name}) ${/score/isr/if/stack-size-object:/name})
params: []
return: ${/c/if/size_t:/name}
variants: []
diff --git a/spec/score/isr/if/stack-size.yml b/spec/score/isr/if/stack-size-object.yml
index fed3b0c7..21ba6a72 100644
--- a/spec/score/isr/if/stack-size.yml
+++ b/spec/score/isr/if/stack-size-object.yml
@@ -1,6 +1,6 @@
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
-- Copyright (C) 2020 embedded brains GmbH & Co. KG
+- Copyright (C) 2023 embedded brains GmbH & Co. KG
enabled-by: true
index-entries: []
interface-type: unspecified-object
@@ -9,6 +9,6 @@ links:
uid: header
- role: interface-ingroup
uid: group
-name: _ISR_Stack_size
+name: _ISR_Stack_size_object
references: []
type: interface