diff options
| -rw-r--r-- | c/src/lib/libbsp/shared/bootcard.c | 1 | ||||
| -rw-r--r-- | c/src/lib/libbsp/shared/clockdrv_shell.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/c/src/lib/libbsp/shared/bootcard.c b/c/src/lib/libbsp/shared/bootcard.c index a928bb2924..81ef70e747 100644 --- a/c/src/lib/libbsp/shared/bootcard.c +++ b/c/src/lib/libbsp/shared/bootcard.c @@ -85,6 +85,7 @@ void boot_card( /* * Make sure interrupts are disabled. */ + (void) bsp_isr_level; rtems_interrupt_disable( bsp_isr_level ); bsp_boot_cmdline = cmdline; diff --git a/c/src/lib/libbsp/shared/clockdrv_shell.h b/c/src/lib/libbsp/shared/clockdrv_shell.h index ce96922569..3e8d08c131 100644 --- a/c/src/lib/libbsp/shared/clockdrv_shell.h +++ b/c/src/lib/libbsp/shared/clockdrv_shell.h @@ -160,6 +160,7 @@ rtems_device_driver Clock_initialize( /* * Install vector */ + (void) Old_ticker; Clock_driver_support_install_isr( Clock_isr, Old_ticker ); #if defined(Clock_driver_nanoseconds_since_last_tick) |