[rtems-central commit] spec: Simplify rtems_interrupt_entry_remove()

[Sebastian Huber]

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

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Thu Sep  2 15:27:17 2021 +0200

spec: Simplify rtems_interrupt_entry_remove()

Use bsp_interrupt_handler_dispatch_unchecked() since the vector number
is valid.

---

 spec/rtems/intr/req/entry-remove.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec/rtems/intr/req/entry-remove.yml b/spec/rtems/intr/req/entry-remove.yml
index 24c3769..a6db928 100644
--- a/spec/rtems/intr/req/entry-remove.yml
+++ b/spec/rtems/intr/req/entry-remove.yml
@@ -110,7 +110,7 @@ post-conditions:
 
       if ( expected_entries > 0 ) {
         ctx->entry_counter = 0;
-        bsp_interrupt_handler_dispatch( ctx->test_vector );
+        bsp_interrupt_handler_dispatch_unchecked( ctx->test_vector );
         T_eq_u32( ctx->entry_counter, 0 );
       } else {
         rtems_interrupt_entry *first;
@@ -148,7 +148,7 @@ post-conditions:
 
       if ( ctx->installed ) {
         ctx->entry_counter = 0;
-        bsp_interrupt_handler_dispatch( ctx->test_vector );
+        bsp_interrupt_handler_dispatch_unchecked( ctx->test_vector );
         T_eq_u32( ctx->entry_counter, 1 );
       }
     text: |