diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-07-05 11:11:42 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-07-07 08:53:53 +0200 |
commit | 300b0c441e24e5d35b9fbb68ccb046131e2a3d95 (patch) | |
tree | c2f18b8a2dfb5f70b6542297863f004aa29a5b92 | |
parent | spec: Specify thread free of FPU owner (diff) | |
download | rtems-central-300b0c441e24e5d35b9fbb68ccb046131e2a3d95.tar.bz2 |
spec: Always specify spurious interrupts
-rw-r--r-- | spec/bsp/req/interrupt-spurious.yml | 24 |
1 files changed, 10 insertions, 14 deletions
diff --git a/spec/bsp/req/interrupt-spurious.yml b/spec/bsp/req/interrupt-spurious.yml index d423df32..ee657c3f 100644 --- a/spec/bsp/req/interrupt-spurious.yml +++ b/spec/bsp/req/interrupt-spurious.yml @@ -1,7 +1,7 @@ SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause copyrights: - Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) -enabled-by: RTEMS_SMP +enabled-by: true functional-type: action links: - role: interface-function @@ -66,28 +66,24 @@ references: [] requirement-type: functional skip-reasons: {} test-action: | + rtems_status_code sc; + ctx->interrupt_occurred = false; ctx->entry_counter = 0; ctx->fatal_counter = 0; ctx->fatal_source = RTEMS_FATAL_SOURCE_LAST; ctx->fatal_code = UINT32_MAX; - if ( *ctx->first == NULL ) { - rtems_status_code sc; - - (void) rtems_interrupt_vector_enable( ctx->test_vector ); - - sc = rtems_interrupt_raise( ctx->test_vector ); - T_rsc_success( sc ); + (void) rtems_interrupt_vector_enable( ctx->test_vector ); - while ( !ctx->interrupt_occurred ) { - /* Wait */ - } + sc = rtems_interrupt_raise( ctx->test_vector ); + T_rsc_success( sc ); - Disable( ctx ); - } else { - bsp_interrupt_spurious( ctx->test_vector ); + while ( !ctx->interrupt_occurred ) { + /* Wait */ } + + Disable( ctx ); test-brief: null test-cleanup: null test-context: |