You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In core_ca.h, lines 644; 647; 650, the ISR_A_Pos, ISR_I_Pos, ISR_F_Pos should be not 13U, 12U, 11U, but 8U, 7U, 6U respectively, as per structure at lines 636-638.
In the same file, line 921, GICDistributor_SGIR_INTID_Msk should be not 0x7U, but 0xFU, as the INTID is 4 bits.
GICInterface_HPPIR_INTID_Msk should be 0x3FFU instead of 0xFFFFFFU.