diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-01-03 15:49:40 +0100 |
---|---|---|
committer | Sebastian Huber <sebhub@gmail.com> | 2023-01-03 16:05:04 +0100 |
commit | 074e2875870451499839078e279f59ba540298ee (patch) | |
tree | 215a3ab21b7755ee78f6ee3567fe1d2df6db655d /spec/rtems/intr | |
parent | Replace type comment with ":" annotation (diff) | |
download | rtems-central-074e2875870451499839078e279f59ba540298ee.tar.bz2 |
spec: Rename interrupt handler in dispatch table
Update #4769.
Diffstat (limited to 'spec/rtems/intr')
-rw-r--r-- | spec/rtems/intr/req/entry-install.yml | 4 | ||||
-rw-r--r-- | spec/rtems/intr/req/entry-remove.yml | 8 | ||||
-rw-r--r-- | spec/rtems/intr/req/handler-iterate.yml | 4 |
3 files changed, 8 insertions, 8 deletions
diff --git a/spec/rtems/intr/req/entry-install.yml b/spec/rtems/intr/req/entry-install.yml index 81d6fc2f..6c7260ba 100644 --- a/spec/rtems/intr/req/entry-install.yml +++ b/spec/rtems/intr/req/entry-install.yml @@ -694,7 +694,7 @@ test-support: | T_rsc_success( sc ); bsp_interrupt_set_handler_unique( - BSP_INTERRUPT_HANDLER_TABLE_SIZE, + BSP_INTERRUPT_DISPATCH_TABLE_SIZE, ctx->initialized ); @@ -705,7 +705,7 @@ test-support: | ); bsp_interrupt_set_handler_unique( - BSP_INTERRUPT_HANDLER_TABLE_SIZE, + BSP_INTERRUPT_DISPATCH_TABLE_SIZE, ctx->initialized_during_setup ); diff --git a/spec/rtems/intr/req/entry-remove.yml b/spec/rtems/intr/req/entry-remove.yml index ed4f7970..a57803b3 100644 --- a/spec/rtems/intr/req/entry-remove.yml +++ b/spec/rtems/intr/req/entry-remove.yml @@ -115,8 +115,8 @@ post-conditions: } else { rtems_interrupt_entry *first; - first = bsp_interrupt_handler_table[ - bsp_interrupt_handler_index( ctx->test_vector ) + first = bsp_interrupt_dispatch_table[ + bsp_interrupt_dispatch_index( ctx->test_vector ) ]; T_null( first ); } @@ -640,14 +640,14 @@ test-support: | T_rsc_success( sc ); bsp_interrupt_set_handler_unique( - BSP_INTERRUPT_HANDLER_TABLE_SIZE, + BSP_INTERRUPT_DISPATCH_TABLE_SIZE, ctx->initialized ); ctx->status = rtems_interrupt_entry_remove( ctx->vector, ctx->entry ); bsp_interrupt_set_handler_unique( - BSP_INTERRUPT_HANDLER_TABLE_SIZE, + BSP_INTERRUPT_DISPATCH_TABLE_SIZE, ctx->initialized_during_setup ); diff --git a/spec/rtems/intr/req/handler-iterate.yml b/spec/rtems/intr/req/handler-iterate.yml index 7d26a546..b04a0c1b 100644 --- a/spec/rtems/intr/req/handler-iterate.yml +++ b/spec/rtems/intr/req/handler-iterate.yml @@ -277,7 +277,7 @@ test-support: | ctx->visited_entries = 0; bsp_interrupt_set_handler_unique( - BSP_INTERRUPT_HANDLER_TABLE_SIZE, + BSP_INTERRUPT_DISPATCH_TABLE_SIZE, ctx->initialized ); @@ -288,7 +288,7 @@ test-support: | ); bsp_interrupt_set_handler_unique( - BSP_INTERRUPT_HANDLER_TABLE_SIZE, + BSP_INTERRUPT_DISPATCH_TABLE_SIZE, ctx->initialized_during_setup ); } |