From 9c2cb68481635fa72b7c08644df70b3df037f430 Mon Sep 17 00:00:00 2001 From: Kinsey Moore Date: Wed, 11 Aug 2021 16:27:32 -0500 Subject: cpukit/aarch64: Use correct interrupt level types All other architectures use uint32_t for interrupt levels and there is no reason not to do so on AArch64. --- cpukit/score/cpu/aarch64/cpu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'cpukit/score/cpu/aarch64/cpu.c') diff --git a/cpukit/score/cpu/aarch64/cpu.c b/cpukit/score/cpu/aarch64/cpu.c index d09403a349..b36f55ae17 100644 --- a/cpukit/score/cpu/aarch64/cpu.c +++ b/cpukit/score/cpu/aarch64/cpu.c @@ -146,7 +146,7 @@ void _CPU_Context_Initialize( } } -void _CPU_ISR_Set_level( uint64_t level ) +void _CPU_ISR_Set_level( uint32_t level ) { /* Set the mask bit if interrupts are disabled */ level = level ? AARCH64_PSTATE_I : 0; @@ -156,7 +156,7 @@ void _CPU_ISR_Set_level( uint64_t level ) ); } -uint64_t _CPU_ISR_Get_level( void ) +uint32_t _CPU_ISR_Get_level( void ) { uint64_t level; -- cgit v1.2.3