[PATCH v1] bsps/aarch64: explicit cast uint64_t to ISR_Level

[tianye at sugon.com]

From: Chengxiang Li <lichx2 at sugon.com>

avoid pclint err
---
 cpukit/score/cpu/aarch64/include/rtems/score/cpu.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpukit/score/cpu/aarch64/include/rtems/score/cpu.h b/cpukit/score/cpu/aarch64/include/rtems/score/cpu.h
index aa4f90f1a8..569b6bcee2 100644
--- a/cpukit/score/cpu/aarch64/include/rtems/score/cpu.h
+++ b/cpukit/score/cpu/aarch64/include/rtems/score/cpu.h
@@ -251,7 +251,7 @@ static inline void AArch64_interrupt_flash( uint64_t isr_cookie )
 
 #define _CPU_ISR_Disable( _isr_cookie ) \
   do { \
-    _isr_cookie = AArch64_interrupt_disable(); \
+    _isr_cookie = (ISR_Level)AArch64_interrupt_disable(); \
   } while (0)
 
 #define _CPU_ISR_Enable( _isr_cookie )  \
-- 
2.34.1