[rtems-central commit] spec: rtems_configuration_get_interrupt_stack_size()

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    8b5ddf133ac4f4408566789bfcea3840d9d1c625
Changeset: http://git.rtems.org/rtems-central/commit/?id=8b5ddf133ac4f4408566789bfcea3840d9d1c625

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Sep 14 11:59:43 2023 +0200

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.

---

 spec/rtems/config/if/get-interrupt-stack-size.yml           | 2 +-
 spec/score/isr/if/{stack-size.yml => stack-size-object.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
similarity index 76%
rename from spec/score/isr/if/stack-size.yml
rename to 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