diff --git a/cpukit/score/cpu/nios2/nios2-fatal-halt.c b/cpukit/score/cpu/nios2/nios2-fatal-halt.c index 350c3397de..4058322685 100644 --- a/cpukit/score/cpu/nios2/nios2-fatal-halt.c +++ b/cpukit/score/cpu/nios2/nios2-fatal-halt.c @@ -12,11 +12,12 @@ */ #include +#include void _CPU_Fatal_halt( uint32_t _error ) { /* write 0 to status register (disable interrupts) */ - __builtin_wrctl( 0, 0 ); + __builtin_wrctl( NIOS2_CTLREG_INDEX_STATUS, 0 ); /* write error code to ET register */ __asm__ volatile ("mov et, %z0" : : "rM" (_error));