diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-02 15:27:17 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-02 15:27:17 +0200 |
commit | afaceb40c591aa979483074f04b6323eb9c6fe23 (patch) | |
tree | da7500acb086a2cfeff62ed2fbb39fad4ca1ee76 | |
parent | spec: Specify <sys/lock.h> (diff) | |
download | rtems-central-afaceb40c591aa979483074f04b6323eb9c6fe23.tar.bz2 |
spec: Simplify rtems_interrupt_entry_remove()
Use bsp_interrupt_handler_dispatch_unchecked() since the vector number
is valid.
-rw-r--r-- | spec/rtems/intr/req/entry-remove.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/spec/rtems/intr/req/entry-remove.yml b/spec/rtems/intr/req/entry-remove.yml index 24c3769b..a6db9280 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: | |