diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-09-14 11:59:43 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-09-18 08:52:01 +0200 |
commit | 8b5ddf133ac4f4408566789bfcea3840d9d1c625 (patch) | |
tree | 26a0a7f64a3c913ae12270ad1b58838413b641a1 /spec | |
parent | 1c53643205669ef1471e5cdb7650dedc14a759ce (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.yml | 2 | ||||
-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 |